nLab monoidally cocomplete category

A monoidally cocomplete category is a (small-) cocomplete category CC bearing a monoidal category structure, such that the monoidal product \otimes is cocontinuous in each of its separate variables, i.e., XX \otimes - is cocontinuous for each XX and Y- \otimes Y is cocontinuous for each YY. The term is due to Max Kelly.

Similarly, one has the notions of symmetric monoidally cocomplete category, braided monoidally cocomplete category, cartesian monoidally cocomplete category, and so on.

Under nice conditions on the category CC, the cocontinuity in separate variables of the monoidal product implies that CC is monoidal biclosed. For instance, if CC is locally presentable or is total, then being symmetric monoidally cocomplete is equivalent to being symmetric monoidal closed.

Any cocomplete closed monoidal category is monoidally cocomplete.

Day convolution provides a construction of the free monoidally cocomplete category on a small monoidal category.


  • Geun Bin Im and G. M. Kelly, A universal property of the convolution monoidal structure, J. Pure Appl. Algebra 43 (1986), no. 1, 75-88.

Last revised on March 4, 2024 at 13:22:35. See the history of this page for a list of all contributions to it.