Ê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 de l'instructeur couvre le transfert de structures de modèles par des adjonctions dans le contexte des catégories de modèles. La séance de cours se penche sur la question de la définition des structures du modèle par rapport aux adjonctions dans une catégorie de modèle M et des paires Quillen bicompletes. Diverses analyses et idées sont présentées pour établir l'existence des conditions nécessaires aux structures modèles. La séance de cours explore le concept des paires de Quillen et les implications de la définition des structures du modèle à travers les adjonctions.