Keywords: 2-category horizontal composition upper letters.svg fr 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 2016-10-03 own Theon other versions cc-zero Functors |