Snake identity
= Snake identity
The two triangular identities $(e\otimes1_X)(1_X\otimes n)=1_X$ and $(1_Y\otimes e)(n\otimes1_Y)=1_Y$, with canonical <associators> and <unitors> inserted, for a <dual pair in a monoidal category>.
= Snake identity
The two triangular identities $(e\otimes1_X)(1_X\otimes n)=1_X$ and $(1_Y\otimes e)(n\otimes1_Y)=1_Y$, with canonical <associators> and <unitors> inserted, for a <dual pair in a monoidal category>.