# Is a weak monoidal category a monoid object is some category?

A monoid in the the Category Cat is a strict monoidal category according to wikipedia. Is it possible to weaken the monoid so its realisation in Cat is a weak monoidal category? Do we shift up a dimension, and throw in a 2-morphism associator for the monoid satisfying the analogue of Maclanes Pentagon, and similar for the identities?

Or is still possible to get a weak monoidal category using a monoid by changing the category we realise it in from Cat to some modification of it.

-

## 1 Answer

Yes, you can define a pseudomonoid in any monoidal 2-category, such that a pseudomonoid in the 2-category Cat is precisely a non-strict monoidal category. The definition of monoidal category, interpreted in terms of functors and natural isomorphisms, i.e. in terms of the 2-category Cat, tells you exactly how to define a pseudomonoid.

-
Obligatory nLab link: ncatlab.org/nlab/show/pseudomonoid –  Qiaochu Yuan May 28 '10 at 23:21