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.

Revised on September 7, 2010 19:15:51
by Mike Shulman
(71.136.226.18)