Daily Archives: February 19, 2018

#HOTT The Book : théorie des catégories et des précatégories

The HoTT Book Je saute d’un seul coup au chapitre 9 du livre page 317, parce que la formalisation de la théorie des catégories dans le cadre de la théorie homotopique des types est le point le plus crucial au … Continue reading

Posted in ∞-catégories, category theory, Higher category theory, homotopy type theory, Philosophie mathématique, Science-internelle