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.