Revenir
Hugo S
alou
–
ENS L3
Traquenard HoTT
Enseignant :
Hugo SALOU
Cours par chapitres
C
hapitre
0
:
Introduction à la topologie algébrique
C
hapitre
1
:
Topologie algébrique et catégories
C
hapitre
2
:
Théorie des types (homotopiques)
Documents supplémentaires
Mon rapport de stage
Algebraic Topology de Allen HATCHER
Notes on Category Theory de Paolo PERRONE
HoTT Book
Introduction to Homotopy Type Theory de Egbert RIJKE