Homotopy meaningful constructions: Homotopy colimits (0)

by W Chachólski, J Scherer