0
$\begingroup$

Let $MonCat$ denote the 2-category of monoidal categories and strict monoidal functors. Let $Cat$ denote the category of 2-categories. There is a forgetful functor $Forget:MonCat\rightarrow Cat$. Does this have a left adjoint?

$\endgroup$
  • $\begingroup$ Sorry I misread your question: you said that cat is the category of $2$-categories, that you meant that $Cat$ is the $2$-category of categories? And by $MonCat$ you mean the category of strict-monoidal-categories? Because in that case I'm not entirely sure that my answer still does apply. $\endgroup$ – Giorgio Mossa Jul 29 '16 at 19:08
1
$\begingroup$

Short answer: yes.

A little longer answer: you can apply theorem 1 in the following link, using the fact that $MonCat$ is the category of monoids in $Cat$, that $Cat$ is monoidal (with respect to the cartesian product), it has countable coproducts and that products distributes with coproducts.

Hope this helps.

$\endgroup$
  • $\begingroup$ MonCat is a category of pseudomonoids in Cat. So this construction lands in strict monoidal categories-which is perfectly fine. $\endgroup$ – Kevin Carlson Jul 29 '16 at 16:37
  • $\begingroup$ @KevinCarlson Thanks for pointing out.... Actually I'm not so sure that the argument works for non-strict categories. Since the OP was interested in monoidal categorie and strict functors I've assumed that always was strict.... maybe I was wrong........ $\endgroup$ – Giorgio Mossa Jul 29 '16 at 19:13

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.