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.

Done

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 21:16:58 by Univalent foundations special year 2012