Search results
Appearance
There is a page named "Quasitopos" on Wikipedia
- 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...1 KB (109 words) - 13:12, 29 August 2023
- 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...2 KB (195 words) - 13:26, 12 July 2024
- of topos theory Homotopy hypothesis Intuitionistic type theory ∞-topos Quasitopos Geometric logic Generalized space Illusie 2004 Caramello, Olivia (2016)...32 KB (4,267 words) - 09:31, 11 July 2024
- Grothendieck topoi, and every Grothendieck topos is an elementary topos. A quasitopos has an object that is almost a subobject classifier; it only classifies...8 KB (1,047 words) - 11:48, 3 May 2021
- Cartesian closed, complete and cocomplete, and more generally it is a quasitopos. Any diffeological space is automatically a topological space with the...21 KB (2,911 words) - 03:42, 31 May 2024
- 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...72 KB (11,080 words) - 01:11, 20 August 2024