Composition verticale de deux 2-morphismes dans une 2-catégorie. Adaptée de l'image
File:2-category vertical composition.svg

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