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.

Reference

Wikipedia: Coproduct (category theory)

Parents

Context

Functor

Refinement of

Colimit . category theory, Discrete category

Sum type

Link to graph
Log In
Improvements of the human condition
limeGraphxioms