Category Archives: Higher category theory

Kerodon : un site sur la théorie catégorique de l’homotopie maintenu par Jacob Lurie

https://kerodon.net/tag/0000 Chapitre 1: https://kerodon.net/tag/0001 Categories}+{Homotopy Theory}={∞-Categories}, Un bon résumé de ce que c’est que la théorie des ∞-catégories: ∞CT = CT + HoTT

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

#∞-cosmoi #ScienceInternelle prolégomènes aux quasicatégories et à qCat catégorie des quasicatégories

https://fr.m.wikipedia.org/wiki/Quasi-catégorie Rappelons cette figure : où qCat ,CSS ( espaces complets de Segal) , ainsi que les ∞-cosmoi des catégories de Segal et celui des catégories simpliciales sont envisagées comme catégories de modèles au sens de Quillen (« Quillen model … Continue reading

Posted in ∞-catégories, ∞-cosmoi, category theory, Higher category theory, homotopy type theory, HTTUF, Philosophie mathématique, Quasicatégories, Science-internelle

n-topos for large n

https://ncatlab.org/michaelshulman/show/n-topos+for+large+n https://ncatlab.org/nlab/show/n-topos

Posted in category theory, Higher category theory, Higher topos theory, Nlab, Science, mathesis, Science-internelle

Introduction to ∞-categories

https://pages.uoregon.edu/njp/tanaka.pdf

Posted in category theory, EHTT, Higher category theory, homotopy type theory, HTTUF, Science, mathesis

∞-categories seminar

http://www.math.titech.ac.jp/~shanekelly/InfinityCategories2017SS.html#x1-7000I  

Posted in ∞-catégories, category theory, Higher category theory, Higher topos theory, Science, mathesis

#HigherToposTheory #HTTUF Leeds 2019 HTT-UF school :minicourse on Higher topos theory references

tout un tas d’articles intéressants dans ce domaine http://conferences.leeds.ac.uk/httuf/wp-content/uploads/sites/43/2019/06/outline-and-references-higher-topos.pdf  

Posted in ∞-catégories, EHTT, Higher category theory, Higher topos theory, homotopy type theory, HTTUF, Philosophie, Science, mathesis

Relations entre #HoTT et la théorie des catégories : page du Nlab

Cette page plus générale porte sur les liens entre la théorie des types et la théorie des catégories : https://ncatlab.org/nlab/show/relation+between+type+theory+and+category+theory Il s’agit d’un exemple de dualité entre syntaxe et sémantique : https://ncatlab.org/nlab/show/syntax-semantics+duality la théorie des catégories  pouvant être considérée comme … Continue reading

Posted in category theory, Higher category theory, homotopy type theory, HTTUF, Science, mathesis, Science-internelle, Type theory