All Questions

1.Context Let $(C, \otimes, I, a, l,r)$ be a monoidal category. Here $r$ denotes the right unitor. Suppose $S: C^{op} \xrightarrow{\sim} C$ is an equivalence of categories with inverse $S’$. Assume ...