This is an old revision of the document!
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 . category theory, but $[i_a,i_b]$ denotes a functor with a sum type domain.
Reference
Wikipedia: Coproduct (category theory)
Parents
Context
Refinement of
