Catégories et Functors

Cette séance de cours explore le processus de construction d'une catégorie à partir d'un graphique dirigé, en se concentrant sur l'information codée par un functeur basé sur la catégorie de domaine. Il se décline en exemples de catégories avec un nombre variable d'objets et discute du concept d'une catégorie vide. La séance de cours couvre également la définition d'une loi sur la composition pour transformer un digraph en une catégorie, soulignant l'importance de définir des functeurs et des prémisses sur les espaces. En outre, il examine les exigences relatives à la spécification des functeurs et fournit des exemples explicites de prémisses à valeur ab. Inspirée par le functeur de groupe fondamental, la séance de cours conclut en discutant de la définition des functeurs dans différents contextes.