Monoidal category. $\lambda_I = \rho_I : I\otimes I\to I$? If this equality can not be proved, in what categories it is false?
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top
This condition follows from the other axioms. I suggest you take a look at a beautiful J. Kock's paper "Elementary remarks on units in monoidal categories", which describes monoidal categories from a bit different (and more coherent) perspective.
However, proving the condition "by hand" may be a good exercise for you.