Homotopy meaningful constructions: Homotopy colimits, preprint (0)

by W Chachólski, J Scherer