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