Coherence of adjoints, associativities, and identities