All Questions
1 question
4
votes
1
answer
197
views
Show that duality functor is anti-monoidal
Let $\mathcal{C}$ be a right rigid (not strict) monoidal category with associativity constraint $\Phi$. Let $J_{U,V}: U^*\otimes V^*\to (V\otimes U)^*$ be the canonical isomorphism for every objects $...