Kerodon.net : le langage des ∞-catégories

Ce site

https://kerodon.net/tag/0001

qui constitue une source d’informations importante, est géré par Jacob Lurie, auteur de «  Higher topos theory » qui a fait ici l’objet d’une étude sur le hashtag #HigherToposTheory :

https://anthroposophiephilosophieetscience.wordpress.com/2017/04/19/highertopostheory-un-nouveau-guide-de-lecture 

 

https://anthroposophiephilosophieetscience.wordpress.com/2016/11/30/highertopostheory-6-modeles-algebriques-et-geometriques-pour-les-∞-categories/

https://anthroposophiephilosophieetscience.wordpress.com/2016/12/05/highertopostheory-8-definitions-equivalentes-pour-les-∞1-categories/

https://anthroposophiephilosophieetscience.wordpress.com/2017/05/21/de-highertopostheory-a-homotopytypetheory/

https://anthroposophiephilosophieetscience.wordpress.com/2019/09/30/hott-httuf-homotopy-type-theory-highertopostheory/

https://anthroposophiephilosophieetscience.wordpress.com/2019/10/01/hott-httuf-ehtt-reprendre-letude-de-highertopostheory/

Toute l’information du chapitre 1 peut être synthétisée sous forme d’équation :

Categories}+{Homotopy Theory}={-Categories},

or more precisely with the diagram

{Categories}→−−−N{-Categories}{Kan Complexes}{Simplicial Sets}{Topological Spaces}Sing
 

Je rappelle elle aussi ce lien que j’avais déjà donné, qui identifie « cum grano salis » HoTT et HTT (higher topos theory):

*** http://coqhott.gforge.inria.fr/fichiers/CoqHoTT-local.pdf

D’où le hashtag HTTUF ( UF = univalent foundations = HoTT) qui avait fait l’objet d’un colloque à Leeds en 2019 :

https://hottandphilosophy.wordpress.com/2019/02/18/httuf-hott-ehtt-leeds-2019-summer-school-on-higher-topos-theory-and-univalent-foundations/

 

 
This entry was posted in ∞-catégories, category theory, Higher category theory, Higher topos theory, homotopy type theory, HTTUF. Bookmark the permalink.