Spahn model structure on s Set Cat in HTT (history)

June 29, 2012