Homotopy colimit

Summary