 Coevaluation morphism

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