Tag Archives: Typos

André Joyal #HoTT : tribus et ⊓-tribus

Les articles d’andré Joyal, comme ceux de Mike Shulman, apportent l’intelligibilité de la théorie des catégories à la théorie homotopique des types, et renforcent le lien entre les deux domaines: http://www.math.uwaterloo.ca/~asl2013/Slides/Joyal.pdf Le livre de Quillen « Homotopical algebra » qui date de … Continue reading

Posted in ∞-catégories, ∞-topoi, homotopy type theory, Philosophie | Tagged , , , ,