Daily Archives: February 12, 2019

#HoTT simplicial set model of type theory : types as Kan complexes

Dans la note déjà étudiée : Click to access Joyal-TACL2015.pdf André Joyal cite page 17 sur 39 les travaux d’Awodey, Warren et Voevodsky sur les modèles de la théorie des types dans les ensembles simpliciaux Les types, objets de base … Continue reading

Posted in ∞-catégories, category theory, homotopy type theory, Science-internelle