unit object

In a monoidal category $(C, \otimes, I)$, the **unit object** (or *tensor unit*) $I$ is the object which plays the role of the unit for the tensor product $\otimes$, in that for any other object $a$ there are isomorphism $a \otimes I \simeq a$ and $I \otimes a \simeq a$ (the unitors).

Dually, in a closed category there is a *unit object* which is such that maps out of it into an internal hom correspond to the external hom.

Last revised on January 31, 2021 at 17:59:49. See the history of this page for a list of all contributions to it.