Cette séance de cours introduit la théorie des catégories en présentant divers exemples, tels que la catégorie Ens des ensembles avec des applications comme morphismes, la catégorie Gr des groupes avec homomorphismes, et la catégorie Ab des groupes abéliens. Il couvre également la catégorie VectK des espaces vectoriels sur un champ K. La séance de cours explore le concept de composition naturelle et la formation de nouvelles catégories à partir de celles existantes. En outre, il traite du produit des catégories et de l'associativité des compositions. L'instructeur illustre ces concepts avec des exemples détaillés et des explications.