homotopy coproduct

Homotopy coproducts are a special case of homotopy colimits, when the indexing diagram is a discrete category. Homotopy coproducts can be defined in any relative category, just like homotopy colimits, but practical computations are typically carried out in presence of additional structures such as model structures. In any model category, the homotopy coproduct of a family of objects can be computed by cofibrantly replacing each and computing the (ordinary) coproduct of the resulting family of...