Cette séance de cours introduit la théorie des catégories en généralisant le produit cartésien et l'union disjointe des ensembles à n'importe quelle catégorie. Les concepts de produit et de coproduit jouent un rôle crucial dans la théorie des catégories, fournissant des propriétés essentielles pour la construction d'objets et de morphismes.