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