Transformations naturelles et functors

Cette séance de cours introduit le concept des transformations naturelles et des functeurs dans le contexte de la théorie des catégories, en mettant l'accent sur la composition et les propriétés identitaires. Il couvre des exemples de transformations naturelles, y compris la transformation d'identité pour n'importe quel functeur. La séance de cours traite également de la catégorie Fun(C, D) des functeurs d'une petite catégorie C à une catégorie D, où les morphismes sont des transformations naturelles. La composition des morphismes dans Fun(C, D) est définie en fonction de la composition des transformations naturelles. L'instructeur illustre ces concepts à l'aide d'exemples et souligne l'importance de comprendre la relation entre les functeurs et les transformations naturelles.