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