cocartesian monoidal category

A cocartesian monoidal category is a monoidal category whose monoidal product is a coproduct (and so whose unit is an initial object). It is the dual of a cartesian monoidal category.

Sometime we refer to a category as cocartesian monoidal just to indicate that it has all finitary coproducts.

Last revised on September 7, 2010 at 19:15:51. See the history of this page for a list of all contributions to it.