Processing math: 100%

Coproduct . category theory

Collection

context F:ObC2
range a,b:Ob2
definition Fa+Fb,[ia,ib]:=colimF

Discussion

Elaboration

Similar to product, but [ia,ib] denotes a functor with a sum type domain.

Reference

Parents

Context

Refinement of

Link to graph
Log In
Improvements of the human condition