Dual in a Closed Category

Let $(\mathcal{V},I,[-,=]$ be a Closed Category. The dual of $X:V$ is $[X,I]$.

Examples

• The canonical example is the Dual Vector Space.
• If $\mathcal{V}$ is Cartesian Closed, then the dual objects are all boring, as there is always a unique map into the Terminal Object.

References

• https://ncatlab.org/nlab/show/dual+object+in+a+closed+category