Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
coproduct_._category_theory [2014/09/28 23:45] 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 === |