Daily Archives: February 12, 2019

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

Dans la note déjà étudiée : http://logica.dmi.unisa.it/tacl/wp-content/uploads/2014/08/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 de TT , … Continue reading

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