 Unitor

The natural isomorphisms ${\lambda }_X:I\otimes X\to X$ and ${\rho }_X:X\otimes I\to X$ in a monoidal category. Together with the associator they satisfy the triangle axiom.