Daily Archives: September 4, 2018

Nicola Gambino : cours II homotopical algebra

Venant à la suite du cours I : https://hottandphilosophy.wordpress.com/2018/09/02/cours-i-de-nicola-gambino-sur-hott-type-theory/ le cours « homotopical algebra «  est ici : Click to access HoTT-Lecture2.pdf La première partie est consacrée aux « catégories modèles «  ( model category) cadre mathématique pour l’homotopie : https://en.m.wikipedia.org/wiki/Model_category On … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Ensembles simpliciaux, Higher category theory, homotopy type theory, Philosophie, Philosophie mathématique, Quasicatégories, Science, mathesis, Science-internelle