The $n$Lab writes (prop. 2.2 in https://ncatlab.org/nlab/show/category+of+monoids) :

Let $C$ be a monoidal category with countable coproducts that are preserved by the tensor product. Then the forgetful functor $U_C$ has a left adjoint $F_C:C\rightarrow Mon(C)$.

Suppose now $C$ is a symmetric monoidal category. Under what conditions does the canonical forgetful functor $U_C:CMon(C)\rightarrow C$ from the category of commutative monoid objects in $C$ have a left adjoint? How is this left adjoint constructed?


The left adjoint is the functor Sym, defined as $Sym(X) = I \coprod X \coprod (X \otimes X)/\Sigma_2 \coprod (X\otimes X\otimes X)/\Sigma_3 \coprod \dots$, where $I$ is the unit. I only ever work in closed, cocomplete settings, where this always exists, but in general I think it should exist under the same conditions as the free monoid functor, as long as the colimits $X^{\otimes n}/\Sigma_n$ exist.

  • $\begingroup$ Of course we should also require that $\otimes$ preserves coproducts and quotients in both variables (otherwise, how to define the monoid structure on this coproduct of quotients?). Usually one requires that $\otimes$ preseves colimits in both variables (which is automatic in the closed setting). $\endgroup$
    – HeinrichD
    Sep 12 '16 at 8:01
  • 1
    $\begingroup$ A reference is Proposition 1.3.1 in Florian Marty's thesis "Des Ouverts Zariski et des Morphismes Lisses en Geometrie Relative". $\endgroup$
    – HeinrichD
    Sep 12 '16 at 8:23

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.