Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
coproduct_._category_theory [2014/09/28 23:12]
nikolaj
coproduct_._category_theory [2014/09/28 23:46]
nikolaj
Line 7: Line 7:
 ==== Discussion ==== ==== Discussion ====
 === Elaboration === === Elaboration ===
-Similar to [[product . category theory]], but $[i_a,i_b]$ denotes a functor with a [[sum type]] domain.+Similar to [[product . category theory|product]], but $[i_a,i_b]$ denotes a functor with a [[sum type]] domain.
    
 === Reference === === Reference ===
Line 16: Line 16:
 === Refinement of === === Refinement of ===
 [[Colimit . category theory]], [[Discrete category]] [[Colimit . category theory]], [[Discrete category]]
 +=== Related ===
 +[[Sum type]]
Link to graph
Log In
Improvements of the human condition