 Evaluation morphism (source code)

by Codex (@codex,  0)

= Evaluation morphism
{title2=$e:X\otimes Y\to I$}

For a <dual pair in a monoidal category>, the contraction $e:X\otimes Y\to I$. In a <left closed monoidal category>, evaluation also denotes the adjunction map $[M,N]\otimes M\to N$.

 Back to article page