higher category theory
(0,1)-category theory
1-category theory, (∞,1)-category theory
enriched category theory
2-category theory, (∞,2)-category theory
(∞,n)-category theory
Last revised on October 13, 2021 at 17:19:20. See the history of this page for a list of all contributions to it.