Lemma. snake identities [nakahira2023diagrammatic, thm. 4.8] [tt-0030]

Continuing from Notation [tt-001U], the triangle identities can be represented in string diagrams as follows, and called the snake identities (or zig-zag identities):

where
are the unit and counit of the adjunction, respectively.