Homotopy Type Theory HomePage (Rev #79, changes)

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

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: