Homotopy Type Theory HomePage (Rev #79, changes)

Showing changes from revision #78 to #79: Added | Removed | Changed

Welcome to the Homotopy Type Theory wiki!


As of 6 June 2022, the HoTT web is regarded as deprecated. The Every vast single majority one of the articles on the HoTT web have since been ported to the mainnLab web. All further HoTT-related editing should happen on the main nLab web.


Remaining pages which haven’t been ported to the nlab:

Empty pages:

Revision on June 19, 2022 at 23:09:09 by Anonymous?. See the history of this page for a list of all contributions to it.