#HoTT : le cours d’André Joyal en cinq parties sur les tribus

Partie 1:

https://synapse.math.univ-toulouse.fr/s/QWrxKeXn31mN3gz/download?path=%2F&files=Joyal_Theory%20of%20tribes%201.pdf

Partie 2:

https://synapse.math.univ-toulouse.fr/s/QWrxKeXn31mN3gz/download?path=%2F&files=Joyal_Theory%20of%20tribes%202.pdf

Partie 3:

https://synapse.math.univ-toulouse.fr/s/QWrxKeXn31mN3gz/download?path=%2F&files=Joyal_Theory%20of%20tribes%203.pdf

Partie 4:

https://synapse.math.univ-toulouse.fr/s/QWrxKeXn31mN3gz/download?path=%2F&files=Joyal_Theory%20of%20tribes%204.pdf

Partie 5:

https://synapse.math.univ-toulouse.fr/s/QWrxKeXn31mN3gz/download?path=%2F&files=Joyal_Theory%20of%20tribes%205.pdf

Advertisements
This entry was posted in ∞-catégories, category theory, homotopy type theory and tagged , , , . Bookmark the permalink.