Topos
In mathematics, a 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. The Grothendieck topoi find applications in algebraic geometry, and more general elementary topoi are used in logic.
Similar Artists