Coevaluation morphism ($n:I\to Y\otimes X$)

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.