Spahn cosimplicial-thickening functor

References