Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision Last revision Both sides next revision | ||
|
coproduct_._category_theory [2014/09/28 23:11] nikolaj old revision restored (2014/09/28 22:52) |
coproduct_._category_theory [2014/09/28 23:45] 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]], but $[i_a,i_b]$ denotes a functor with a [[sum type]] domain. |
| === Reference === | === Reference === | ||
| Line 15: | Line 15: | ||
| [[Functor]] | [[Functor]] | ||
| === Refinement of === | === Refinement of === | ||
| - | [[Colimit . category theory]] | + | [[Colimit . category theory]], [[Discrete category]] |
| + | === Related === | ||
| + | [[Sum type]] | ||
