Monthly Archives: November 2011

Axiomatic cohesion in HoTT

This post is to alert the members of the HoTT community to some exciting recent developments over at the n-Category Cafe. First, some background. Some of us (perhaps many) believe that HoTT should eventually be able to function as the … Continue reading

Posted in Uncategorized | 11 Comments