Coproduct . category theory
Collection
context | F:ObC2 |
range | a,b:Ob2 |
definition | ⟨Fa+Fb,[ia,ib]⟩:=colimF |
Discussion
Elaboration
Reference
Wikipedia: Coproduct (category theory)
context | F:ObC2 |
range | a,b:Ob2 |
definition | ⟨Fa+Fb,[ia,ib]⟩:=colimF |
Wikipedia: Coproduct (category theory)