Topos

In mathematics, a topos (plural "topoi" or "toposes") is a type of category that behaves like the category of sheaves of sets on a topological space (or more generally: on a site). The Grothendieck topoi find applications in algebraic geometry; the more general elementary topoi are used in logic. For a discussion of the history of topos theory, see the article history of topos theory.