Internal duality functor

Definition 11.1.12. Assume that \(C\) admits internal homs. We define the internal duality functor \(D\colon C\catop \to C\) as \begin {align*} D(-) := \iHom (-,\unit )\colon C\catop \to C. \end {align*}