Spahn cosimplicial-thickening functor (history)

June 22, 2012