Homotopy meaningful constructions: Homotopy colimits (1998)

by W Chacholski, J Scherer