# nLab unit object

In a monoidal category $\left(C,\otimes ,I\right)$, the unit object $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).

Revised on September 17, 2010 07:03:20 by Toby Bartels (173.190.154.103)