3
$\begingroup$

Monoidal category. $\lambda_I = \rho_I : I\otimes I\to I$? If this equality can not be proved, in what categories it is false?

1 Answers 1