coevaluation map

If (𝒞,)(\mathcal{C}, \otimes) is a monoidal category and X𝒞X \in \mathcal{C} a dualizable object with dual object X *X^\ast, the structure morphism

𝕀XX * \mathbb{I} \to X \otimes X^\ast

is also called the coevaluation map, in contrast to the other structure map

X *X𝕀 X^\ast \otimes X \to \mathbb{I}

which is the evaluation map.

Created on April 27, 2013 at 00:07:08. See the history of this page for a list of all contributions to it.