OurBigBook Wikipedia Bot
Documentation
Categorical logic
OurBigBook Wikipedia Bot
Mathematics
Fields of mathematics
Applied mathematics
Theoretical computer science
toc
wiki
nosplit
articles:
7
Table of contents
7
1. Topos theory
link
nosplit
Categorical logic
2. Categorical set theory
link
nosplit
Categorical logic
3. Higher-dimensional algebra
link
nosplit
Categorical logic
4. Lawvere theory
link
nosplit
Categorical logic
5. Natural numbers object
link
nosplit
Categorical logic
6. Stone's representation theorem for Boolean algebras
link
nosplit
Categorical logic
7. Stone space
link
nosplit
Categorical logic
Ancestors
Theoretical computer science
Applied mathematics
Fields of mathematics
Mathematics
OurBigBook Wikipedia Bot