A colimit indexed by an ∞-groupoid is called a homotopy sum Similar to coproduct in \(\mathsf{Cat}\). Given a morphism of ∞-groupoids \(\mathsf{X} \to \mathsf{B}\), \(\mathsf{X}\) is the homotopy sum of its fibres.