nLab 2-topos theory

Last revised on April 7, 2025 at 23:19:12. See the history of this page for a list of all contributions to it.