Kerodon : un site sur la théorie catégorique de l’homotopie maintenu par Jacob Lurie

https://kerodon.net/tag/0000

Chapitre 1:

https://kerodon.net/tag/0001

Categories}+{Homotopy Theory}={-Categories},

Un bon résumé de ce que c’est que la théorie des ∞-catégories:

∞CT = CT + HoTT

This entry was posted in ∞-catégories, category theory, Higher category theory, Homotopy, homotopy type theory, Science, mathesis, Science-internelle. Bookmark the permalink.