Compatibilité entre les compositions horizontales et verticales de 2-morphismes. Adapté de 
File:2-category double composition.svg

avec ajout de lettres pour désigner les objets et les morphismes.
Own work
Theon