• The Cocone. The collection
    \[ \webleft\{ \mathrm{inj}_{i} \colon A_{i}\to \coprod _{i\in I}A_{i}\webright\} _{i\in I} \]

    of maps given by

    \[ \mathrm{inj}_{i}\webleft (x\webright )\mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}\webleft (i,x\webright ) \]

    for each $x\in A_{i}$ and each $i\in I$.


Noticed something off, or have any comments? Feel free to reach out!


You can also use the contact form below: