Definition 2.4.9. Let \((X_i)_{i \in I}\) be a collection of pointed animae. Their coproduct in \(\An _*\) is called the wedge and is denoted by \(\bigvee _{i \in I} X_i\). It may be computed by the following pushout square in \(\An \):
Generated from the authoritative LaTeX source.