 Monoidal unit object

The distinguished object $I$ in a monoidal category, with the natural unitors $I\otimes X\cong X\cong X\otimes I$.