Here is a list of articles in the category Topos theory of the Computing portal that unifies foundations of mathematics and computations using computers.
Pages in category "Topos theory"
The following 17 pages are in this category, out of 17 total.
- History of topos theory (computing)
- Classifying topos (computing)
- Fundamental theorem of topos theory (computing)
- Grothendieck topology (computing)
- Presheaf (category theory) (computing)
- Quasitopos (computing)
- Subobject classifier (computing)
- ∞-topos (computing)