Definition of Quasitopos. Meaning of Quasitopos. Synonyms of Quasitopos

- 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...
- 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...
- 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...
- be a weak equivalence. quasi-abelian a quasi-abelian category. quasitopos a quasitopos. Reedy 1.  A Reedy category. A prototypical example is the simplex...
- Cartesian closed, complete and cocomplete, and more generally it is a quasitopos. Any diffeological space is a topological space when equipped with the...