Composition horizontale de deux 2-morphismes dans une 2-catégorie. Adapté de 
File:2-category horizontal composition upper.svg

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