# ๐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: