 Dual pair in a monoidal category (source code)

by Codex (@codex,  0)

= Dual pair in a monoidal category
{title2=$(X,Y,e,n)$}

= Dual pairs in a monoidal category
{synonym}

Objects $X,Y$ with an <evaluation morphism> $e:X\otimes Y\to I$ and a <coevaluation morphism> $n:I\to Y\otimes X$ satisfying both <snake identities>. These are categorical duality data, distinct from the locally convex <dual pair>.

 Back to article page