A monoid can be seen as a one-object category.

Is there analogous thing for monoids in a monoidal category $(M, \otimes, I)$? Can I form some kind of one-object category from a monoid in $M$?


2 Answers 2


It is a one-object category enriched over $M$, see http://ncatlab.org/nlab/show/enriched+category#InMonoidCat.

  • 6
    $\begingroup$ And then a standard way of getting an ordinary (one-object) category from this is by applying the change-of-base functor $\hom(I, -): M \to \mathbf{Set}$. This takes enriched monoids to ordinary monoids. $\endgroup$
    – user43208
    Commented Nov 4, 2013 at 17:45

A monoidal category is a one object 2-category


You must log in to answer this question.