 the groups in our example, then correspond to functors from the encoding topos to the category of sets that respect the topos structure.When used for foundational work a topos will be defined axiomatically; set theory is then treated as a special case of topos theory.Building from category theory, there are multiple equivalent definitions of a topos.