Monoidal category. $\lambda_I = \rho_I : I\otimes I\to I$? If this equality can not be proved, in what categories it is false?
May left and right unitors be equal in a monoidal category?
3
$\begingroup$
category-theory
monoidal-categories