Category theory MOC

Cartesian category

A cartesian category is a monoidal category whose tensor product is a categorical product and whose tensor unit is a terminal object. cat Specifically, for any there exist natural transformations

so that for any the data

satisfy the universal property of the product.

See also

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

---

tidy | en | sembr