Category Archives: ∞-catégories

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    #HigherToposTheory 6: modèles algébriques et géométriques … Continue reading

Posted in ∞-catégories, category theory, Higher category theory, Higher topos theory, homotopy type theory, HTTUF | Comments Off on Kerodon.net : le langage des ∞-catégories

Emily Riehl : ∞-category theory for undergraduates

Posted in ∞-catégories, ∞-cosmoi | Comments Off on Emily Riehl : ∞-category theory for undergraduates

#HoTT2 #HigherCategoryTheory théorie des types homotopiques et théorie des ∞-catégories

La thèse de l’homotopie de Grothendieck est, selon cet article : *****https://arxiv.org/pdf/1807.02177.pdf

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Grothendieck, Homotopy, homotopy type theory, HTTUF | Comments Off on #HoTT2 #HigherCategoryTheory théorie des types homotopiques et théorie des ∞-catégories

∞-catégories et théorie de l’homotopie

j’avais déjà noté l’importance des travaux de Clark Barwick et Chris Schommer-Pries : Barwick, Schommer-Pries : unicity of homotopy theory of higher categories ainsi que de ceux de Karol Szumilo : Le papier important de Karol Szumilo : two models for … Continue reading

Posted in ∞-catégories, ∞-cosmoi | Comments Off on ∞-catégories et théorie de l’homotopie

#HigherCategoryTheory Eugenia Cheng : Higher-Dimensional category Theory : the architecture of mathematics

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Categorical probability theory, category theory, Christianisme, Cochet-Brunschvicg, Coran, DIEU, Higher category theory, Higher topos theory, Islam, Israel, judaisme, Littérature-Poésie, nazisme, Philosophie, Philosophie mathématique, Religions, Science, mathesis, Science-internelle | Comments Off on #HigherCategoryTheory Eugenia Cheng : Higher-Dimensional category Theory : the architecture of mathematics

Autres papiers d’Emily Riehl sur les ∞-catégories et les ∞-cosmoi

**** https://math.mit.edu/conferences/talbot/2018/syllabus.pdf **** https://arxiv.org/pdf/1808.09834.pdf **** https://arxiv.org/pdf/1808.09835.pdf ***** https://math.mit.edu/conferences/talbot/talbot-takeaways.pdf ****** https://web.math.rochester.edu/people/faculty/doug/otherpapers/Riehl-Verity-ICWM.pdf **** https://web.math.rochester.edu/people/faculty/doug/otherpapers/Riehl-Verity-ICWM2.pdf   **** http://www.mat.uc.pt/~ct2018/slides/E_Riehl.pdf   *** http://www.kurims.kyoto-u.ac.jp/~hassei/ajp60/slides/lack.pdf **** https://projecteuclid.org/download/pdf_1/euclid.hha/1311953350 *** https://drummondcole.com/gabriel/academic/notes/higher_structures_18.pdf  

Posted in ∞-catégories, ∞-cosmoi | Comments Off on Autres papiers d’Emily Riehl sur les ∞-catégories et les ∞-cosmoi

Riehl et Verity : elements of ∞- category theory

Un formidable travail par les inventeurs de l’idée d’ ∞-cosmos, qui est d’ailleurs expliquée et utilisée dans ce document remarquable de 600 pages :   ***** http://www.math.jhu.edu/~eriehl/elements.pdf  

Posted in ∞-catégories, ∞-cosmoi, category theory, Higher category theory, Quasicatégories, Science, mathesis | Comments Off on Riehl et Verity : elements of ∞- category theory

#CochetBrunschvicg2 l’ambiguité des sens multiples du mot « athéisme « 

l’une des citations de Léon Brunschvicg les plus éclairantes à mon sens est celle ci : «  les trois propositions génératrices du scepticisme, de l’immoralisme et de l’athéisme sont : le vrai est, le bien est, Dieu est » le vrai, … Continue reading

Posted in ∞-catégories, category theory, Higher category theory, Léon Brunschvicg, Philosophie | Comments Off on #CochetBrunschvicg2 l’ambiguité des sens multiples du mot « athéisme « 

∞-categories seminar

http://www.math.titech.ac.jp/~shanekelly/InfinityCategories2017SS.html A short course on ∞-categories : **** http://www.math.uni-bonn.de/~mrahn/preprints/groth_scinfinity.pdf Stable ∞-categories : **** https://pages.uoregon.edu/njp/garcia.pdf Spectral algebraic geometry ( avec développements de Rezk sur la notion d’ ∞-topos) **** https://faculty.math.illinois.edu/~rezk/sag-chapter-web.pdf

Posted in ∞-catégories, ∞-topoi, Philosophie | Comments Off on ∞-categories seminar

Le grand effondrement

C’est maintenant que « Le camp des Saints » se passe ! Il est rare que les mouvements de foule spontanés ne soient pas, en fait, plus ou moins manipulés. Et l’on imagine aussitôt une sorte de chef d’orchestre tout-­puissant, … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Bertrand Russell, Categorical probability theory, Categorical quantum mechanics, category theory, Cochet-Brunschvicg, DIEU, EHTT, Europe, France-bordel, Higher category theory, Higher topos theory, homotopy type theory, HTTUF, Nombres, number theory, Occident faustien, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Physique, Quantum relativity, Relativité, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory), topos physics | Comments Off on Le grand effondrement