 Coevaluation morphism

The duality map $n:I\to Y\otimes X$ from the monoidal unit object in a dual pair in a monoidal category, constrained together with evaluation by both snake identities.