Ce site
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 :
#HigherToposTheory 6: modèles algébriques et géométriques pour les ∞-catégories
#HigherToposTheory 8 : définitions équivalentes pour les (∞,1)-catégories
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
Voir l’article original 37 mots de plus