# Differences

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

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]] |