Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Cette séance de cours introduit le concept de produits dans le contexte de la théorie de catégorie, les définissant comme des objets avec des morphismes spécifiques qui satisfont une propriété universelle. La présentation comprend des définitions formelles, des diagrammes et des preuves illustrant les propriétés des produits et leur caractère unique. Une attention particulière est accordée aux isomorphismes entre les produits et la commutativité des diagrammes. L'instructeur souligne l'importance de comprendre la propriété universelle des produits et la façon dont ils se rapportent à l'existence de morphismes uniques. La séance de cours se termine par des exemples et des notations liés aux produits dans la théorie des catégories.