Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
coproduct_._category_theory [2014/09/28 23:12] nikolaj |
coproduct_._category_theory [2014/09/28 23:45] nikolaj |
||
---|---|---|---|
Line 16: | Line 16: | ||
=== Refinement of === | === Refinement of === | ||
[[Colimit . category theory]], [[Discrete category]] | [[Colimit . category theory]], [[Discrete category]] | ||
+ | === Related === | ||
+ | [[Sum type]] |