Séminaire de Catégories

Notes de Séminaire

• Séance du 20/10/2025
• Séance du 03/11/2025
• Séance du 10/11/2025
• Séance du 17/11/2025

Devoir Maison

• DM1
• DM2

Ressources

• Category Theory, Steve Awodey
• Category Theory in Context, Emily Riehl
• Categorical Logic and Type Theory, B. Jacobs, Chapitre 2