nLab 2-topos theory

Last revised on November 7, 2010 at 15:57:30. See the history of this page for a list of all contributions to it.