Categorical mathematics

Set theory?

Category theory

Homotopical algebra

Higher category theory

Theory of quasi-categories

Higher quasi-categories?

Geometry?

Elementary geometry?

Differential geometry?

Lie theory?

Algebraic geometry?

Homotopical algebraic geometry?

Number theory?

Elementary number theory?

Algebraic number theory?

Algebra

Universal algebra?

Group theory?

Rings and modules?

Commutative algebras?

Lie algebras?

Representation theory?

Operads?

Homological algebra

Logic?

Boolean algebra?

First order theory?

Model theory?

Categorical logic?

Topology?

General topology

Algebraic topology?

Homotopy theory?

Theory of locales?

Topos theory?

Higher topos theory?

Combinatorics?

Combinatorial geometry?

Enumerative combinatorics?

Algebraic combinatorics?

Contributors

References?

Introduction?

Model categories

Homotopy Factorisation Systems?

Cisinski's theory