nLab
unit object

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