right unitor in a monoidal category

1. Definition

Let \(\mathcal{C}\) be a category with a monoidal structure. Then the left unitor is a natural isomorphism

\begin{align*} \lambad: (1 \otimes -) \rightarrow - (1 \otimes X) \rightarrow& X \end{align*}

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 19:02