Comments or suggestions:

Algebra

Universal algebra?

Group theory?

Rings and modules?

Commutative algebras?

Lie algebras?

Representation theory?

Operads?

Homological algebra

Edit this sidebar

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?

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?

Basic homological algebra?

Additive model categories?

Derived categories?