foundation
elementary-number-theory
group-theory
category-theory
order-theory
real-numbers
synthetic-homotopy-theory
metric-spaces
univalent-combinatorics
ring-theory
linear-algebra
structured-types
commutative-algebra
graph-theory
orthogonal-factorization-systems
trees
globular-types
species
lists
set-theory
logic
higher-group-theory
finite-group-theory
modal-type-theory
complex-numbers
universal-algebra
reflection
analysis
functional-analysis
type-theories
domain-theory
finite-algebra
synthetic-category-theory
organic-chemistry
wild-category-theory
literature
spectral-theory
