Skip to main content
Post Closed as "Duplicate" by varkor, CommunityBot
edited tags
Link
varkor
  • 10.6k
  • 29
  • 71
Source Link

Transfer monoidal category structures

Let $\mathcal{C}$ and $\mathcal{D}$ be two equivalent categories and $F:\mathcal{C}\to \mathcal{D}$ be a functor that yields an equivalence of categories, with an inverse functor $G:\mathcal{D}\to \mathcal{C}$.

Now let us equip $\mathcal{D}$ with a tensor product $\otimes:\mathcal{D}\times\mathcal{D}\to \mathcal{D}$ and fix a unit object $I\in Ob(\mathcal{D})$, such that $(\mathcal{D},\otimes, I)$ forms a strict monoidal category.

Then the question is: can we naturally transfer the tensor product $\otimes$ and the unit object $I$ to corresponding structures on $\mathcal{C}$ such that $\mathcal{C}$ with the tranferred structures forms a monoidal category?