Monthly Archives: November 2011

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 →