 Triangle identity for a monoidal category

The associator and unitors of a monoidal category satisfyThus the two ways to remove a unit between two tensor factors agree. Together with the pentagon identity for a monoidal category this implies all unit identities derived from the monoidal pentagon and triangle and the monoidal coherence theorem.