Ê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.
Cours d'apprentissage actif
Cette séance de cours couvre le processus de vérification pour s'assurer qu'un functeur Lie est vraiment un adjoint gauche d'un functeur R: DC. Il explore l'existence de transformations naturelles y: Idy → RL et E: LR → Idg, satisfaisant les identités triangulaires. La séance de cours s'inscrit également dans le concept d'isomorphismes dans un cadre naturel.
Cette vidéo est disponible exclusivement sur Mediaspace pour un public restreint. Veuillez vous connecter à Mediaspace pour y accéder si vous disposez des autorisations nécessaires.
Regarder sur Mediaspace