Coevaluation morphism
= Coevaluation morphism
{title2=$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>.
= Coevaluation morphism
{title2=$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>.