Spahn HTT, 1.1, fondations for higher category theory (history)

June 29, 2012