Unitor
= Unitor
{title2=$\lambda,\rho$}
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.
= Unitor
{title2=$\lambda,\rho$}
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.