Monthly Archives: July 2013


For people interested in doing homotopy theory in homotopy type theory, Chapter 8 of the HoTT Book is a pretty good record of a lot of what was accomplished during the IAS year. However, there are a few things it’s … Continue reading

Posted in Homotopy Theory, Models | 18 Comments