 A traditional axiomatic foundation of mathematics is set theory, in which all mathematical objects are ultimately represented by sets (including functions, which map between sets).More recent work in category theory allows this foundation to be generalized using topoi; each topos completely defines its own mathematical framework.The category of sets forms a familiar topos, and working within this topos is equivalent to using traditional set-theoretic mathematics.