Joyal's CatLab Higher category theory

Categorical mathematics

Higher category theory

Revised on November 20, 2020 at 00:36:40 by Richard Williamson