📝Cocartesian monoidal category

tags

§ Category Theory

Cocartesian monoidal category is a Monoidal category whose monoidal product is a Coproduct and identity/unit value is an Initial object.

See also:

Backlinks