Category Archives: ∞-catégories

#EHTT #HoTT Summer school on higher topos theory and univalent foundations Leeds June 2019

https://conferences.leeds.ac.uk/httuf/ Quand je vous disais que c’est le nouveau Far West.. HTTUF univalent foundations c’est JoTT .. HTT c’est(elementary ) higher topos theory . Je crois que je vais aller y faire un tour, ce sera toujours mieux que Paris, … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, EHTT, homotopy type theory | Leave a comment

#EHTT André Joyal : What is an elementary higher topos EHT ? a tentative definition

Le texte des slides est ici : https://www.msri.org/workshops/689/schedules/18227/documents/2046/assets/20468 Il reprend cette conférence : https://ncatlab.org/homotopytypetheory/files/Joyal.pdf que j’ai commentée ici : https://scienceinternelle.wordpress.com/2019/02/14/hott-mike-shulman-categorical-models-of-homotopy-type-theory/ https://anthroposophiephilosophieetscience.wordpress.com/2019/02/10/la-correspondance-entre-ct-et-hott-selon-andre-joyal/ Mais la vidéo du cours est ici :

Posted in ∞-catégories, ∞-cosmoi, category theory, EHTT, Higher category theory, Higher topos theory, Homotopy, homotopy type theory, Science, mathesis, Science-internelle | Leave a comment

#EHTT Mike Shulman ;: towards elementary ∞-toposes

Le texte de ce cours est ici : https://video.ias.edu/sites/video/files/eleminf.pdf En vidéo :

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, EHTT, homotopy type theory | Leave a comment

#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 | Leave a comment

#HoTT : la théorie homotopique des types pour sortir de l’opposition thématisée par Badiou

Au début de ce blog figure cet article datant de Mars 2015 : https://anthroposophiephilosophieetscience.wordpress.com/2016/03/15/les-deux-theories-mathematiques-privilegiees-par-badiou-topoi-et-ensembles-correspondant-aux-deux-plans-vital-ontologique-et-spirituel/ et la situation n’a pas changé avec le récent ouvrage « L’immanence des vérités «  où Badiou écrit dans l’Introduction générale page 18: « Le regretté Jean Toussaint … Continue reading

Posted in Alain Badiou, ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Higher category theory, Homotopy, homotopy type theory, Léon Brunschvicg, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory)

Emily Riehl : the synthetic theory of ∞-categories vs the synthetic theory of ∞-categories

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi

Emily Riehl et Dominic Verity ont terminé la rédaction de « Elements of ∞-category theory »

http://www.math.jhu.edu/~eriehl/elements.pdf

Posted in ∞-catégories