In
mathematics, specifically
category theory, a quasitopos is a generalization of a
topos
In mathematics, a topos (, ; plural topoi or , or toposes) is a category that behaves like the category of sheaves of sets on a topological space (or more generally: on a site). Topoi behave much like the category of sets and possess a notio ...
. A topos has a
subobject classifier In category theory, a subobject classifier is a special object Ω of a category such that, intuitively, the subobjects of any object ''X'' in the category correspond to the morphisms from ''X'' to Ω. In typical examples, that morphism assigns "true ...
classifying all subobjects, but in a quasitopos, only strong subobjects are classified. Quasitoposes are also required to be
finitely cocomplete and locally cartesian closed. A solid quasitopos is one for which 0 is a strong subobject of 1.
References
External links
*
Topos theory
{{categorytheory-stub