๐Ÿ“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