## Coproduct . category theory

### Collection

 context $F:\mathrm{Ob}_{{\bf C}^{\bf 2}}$ range $a,b:\mathrm{Ob}_{\bf 2}$ definition $\langle Fa+Fb, [i_a,i_b]\rangle := \mathrm{colim}\,F$

### Discussion

#### Elaboration

Similar to product, but $[i_a,i_b]$ denotes a functor with a sum type domain.