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 (