Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $\mathcal{C}$ and $\mathcal{D}$ be categories with finite products, and consider them as monoidal categories in the obvious way.

  1. Every functor $\mathcal{C} \to \mathcal{D}$ can be canonically equipped with the structure of an oplax braided monoidal functor, because the universal properties give us the required morphisms $F 1 \to 1$ and $F (X \times Y) \to F X \times F Y$ in $\mathcal{D}$. Is this structure unique, or at least unique up to isomorphism of oplax braided monoidal functors?

  2. Every functor $\mathcal{C} \to \mathcal{D}$ that preserves finite products is canonically a strong braided monoidal functor. Again, is this structure unique, or at least unique up to isomorphism of strong braided monoidal functors?

I suspect the question basically boils down to the existence of strict braided monoidal automorphisms, but I haven't been able to find any or show that there are none.

share|improve this question
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.