Dual object
Let $C$ be a closed monoidal category.
Definition. The dual of an object $A$ is the internal hom $[A,I]$ where $I$ is the unit object of $C$.
Examples
- Dual vector space
- The dual of a representation Representation of a group
Let $C$ be a closed monoidal category.
Definition. The dual of an object $A$ is the internal hom $[A,I]$ where $I$ is the unit object of $C$.