📝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:

Backlinks