Category theory MOC

Cocartesian category

A cocartesian category is a monoidal category whose tensor product is a coproduct and whose tensor unit is an initial object. cat Specifically for any , there exist natural transformations

so that the data

satisfy the universal property of the coproduct.

See also

• The dual concept is Cartesian category.
• A Bicartesian category is both of these simultaneously.

---

tidy | en | sembr