1
$\begingroup$

Is the category of monoidal categories and strict monoidal functors locally presentable?

Recall this means that there is a small set of small objects $S$ such that any object in $MonCat$ can be obtained as a colimit over a diagram with objects in $S$.

$\endgroup$

Your Answer

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

Browse other questions tagged or ask your own question.