📝Cartesian monoidal category
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: