Séances de cours associées à Séance d'apprentissage naturel

Séances de cours associées (32)

Couvre le transfert de structures de modèles par des adjonctions dans le contexte des catégories de modèles.

Introduit des transformations naturelles à travers des exemples, couvrant l'équivalence des catégories et des propriétés du functeur.