Freely adjoining monoidal duals
Freely adjoining monoidal duals
Abstract Given a monoidal category $\mathcal C$ with an object J , we construct a monoidal category $\mathcal C[{J^ \vee }]$ by freely adjoining a right dual ${J^ \vee }$ to J . We show that the canonical strong monoidal functor $\Omega :\mathcal C \to \mathcal C[{J^ \vee }]$ provides …