📝Cartesian monoidal category

tags

§ Category Theory

Cartesian monoidal category (often called just Cartesial category) is a Monoidal category where tensor product is categorical product and identity object is a Terminal object (terminal object is a unit of product).

See also:

• Cocartesian monoidal category

Backlinks

• 📝 Cocartesian monoidal category
• 📝 Monoidal category
• 📝 Category Theory: Product
• 📝 § Category Theory