Search results

category theory, a quasitopos is a generalization of a topos. A topos has a subobject classifier classifying all subobjects, but in a quasitopos, only strong...

one might expect, a balanced pre-abelian category may not be abelian. A quasitopos is similar to a topos but may not be balanced. quasi-abelian category...

of topos theory Homotopy hypothesis Intuitionistic type theory ∞-topos Quasitopos Geometric logic Generalized space Illusie 2004 Caramello, Olivia (2016)...

Grothendieck topoi, and every Grothendieck topos is an elementary topos. A quasitopos has an object that is almost a subobject classifier; it only classifies...

Cartesian closed, complete and cocomplete, and more generally it is a quasitopos. Any diffeological space is automatically a topological space with the...

be a weak equivalence. quasi-abelian a quasi-abelian category. quasitopos a quasitopos. reflect 1.  A functor is said to reflect identities if it has...