Ê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 la théorie des catégories à travers des exemples, tels que la définition d'une catégorie CR basée sur une relation R sur un ensemble X, explorant la composition et les propriétés identitaires. Il traite également de la construction d'une catégorie BG d'un groupe G, où les objets sont des éléments de G et les morphismes sont donnés par l'opération du groupe. En outre, il explique le produit des catégories C et D, désigné comme C x D, en précisant comment les objets et les morphismes sont définis et composés dans cette catégorie de produits.