UF IAS 2012 Archive
Math in HoTT

Page for the working group on math in HoTT. Please add what you’re working on, or ideas, or descriptions of the ideas below.


What people are working on

Thorsten and students are working on -1-truncations and the connection to Hedberg’s theorem

Idea for things to work on

See also the page on Open Problems and Formalized Homotopy Theory

Created on April 19, 2018 at 17:16:58 by Univalent foundations special year 2012