Topo's

In mathematics, a Grothendieck topos is a category that behaves like the category of sheaves of sets on a topological space. Topoi behave much like the category of sets and possess a notion of localization. Grothendieck topoi find applications in algebraic geometry. They are generalized by elementary topoi, which are used in logic. (Wikipedia)