Category Archives: Homotopy

#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

Extended etale Homotopy groups from profinite Galois categories

Click to access Extended_etale.pdf Cet article s’appuie sur SGA1 https://arxiv.org/abs/math/0206203v1 et part d’un schéma X (scheme) notion explicitée dans EGA1 Click to access PMIHES_1960__4__5_0.pdf Mais je veux juste souligner le 1.2 page 5 sur 9, qui met en place l’∞-catégorie … Continue reading

Posted in ∞-catégories, ∞-topoi, Grothendieck, Homotopy | Comments Off on Extended etale Homotopy groups from profinite Galois categories

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 | Comments Off on Kerodon : un site sur la théorie catégorique de l’homotopie maintenu par Jacob Lurie

#HigherToposTheory un guide pour la navigation dans le livre de Jacob Lurie

Il vaut peut être la peine, avant de se lancer seul dans la forêt profonde de « Higher Topos theory » de Lurie, de survoler l’ensemble afin d’avoir une idée précise de l’architecture de ce vaste monument : l’article 12 … Continue reading

Posted in ∞-catégories, ∞-topoi, category theory, EHTT, Ensembles simpliciaux, Grothendieck, Higher category theory, Higher topos theory, Homotopy, homotopy type theory, HTTUF, Nlab, Quasicatégories, Science, mathesis, Science-internelle, Théorie des topoi (topos theory) | Comments Off on #HigherToposTheory un guide pour la navigation dans le livre de Jacob Lurie

« Connais tu bien l’amour, toi qui parles d’aimer ? »

Cette citation tirée de « l’imitation de Jésus-Christ » par Corneille ( dans sa traduction du livre de Thomas à Kempis) : https://fr.m.wikisource.org/wiki/Imitation_de_Jésus-Christ   est faite par Brunschvicg dans « Raison et religion » en tête du livre I: Brunschvicg … Continue reading

Posted in Cochet-Brunschvicg, DIEU, Europe, Grothendieck, Homotopy, homotopy type theory, Léon Brunschvicg, opposition monde véritable-monde imaginaire, Ouvert : dualité plan vital-plan spirituel, Pascal, Philosophie, Platon, Science, mathesis, Science-internelle, Socrate, Spinoza, Théorie des topoi (topos theory), Wronski, Wronski-Messianisme-séhélianisme-Science-internelle | Comments Off on « Connais tu bien l’amour, toi qui parles d’aimer ? »

The form and fonction of duality in modern mathematics

  https://journals.openedition.org/philosophiascientiae/976?lang=en à commencer par la dualité dans la théorie des catégories. Natural dualities for the working algebraist : Click to access 80c6b1b0af60d518cc3a9155516ef4ff9fe2.pdf   https://books.google.fr/books?id=vvfWMVYQS9YC&printsec=frontcover&hl=fr#v=onepage&q&f=false

Posted in Categorical quantum mechanics, category theory, Grothendieck, Higher category theory, Higher topos theory, Homotopy, homotopy type theory, Léon Brunschvicg, opposition monde véritable-monde imaginaire, Philosophie mathématique, Science, mathesis, Théorie des topoi (topos theory), Wronski | Comments Off on The form and fonction of duality in modern mathematics

(∞,1)Topos analogue pour les ( ∞,1)-catégories de la 2-catégorie Topos

La 2-catégorie Topos ayant comme objets tous les topoi et comme flèches les morphismes géométriques : https://ncatlab.org/nlab/show/geometric+morphism Click to access CambridgeToposTheoryCourseLectures9and10.pdf avait été reconnue comme cadre des travaux  d’élucidation de la « loi de création » de Wronski : Morphismes … Continue reading

Posted in Higher category theory, Higher topos theory, Homotopy, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory), topos physics | Comments Off on (∞,1)Topos analogue pour les ( ∞,1)-catégories de la 2-catégorie Topos

Categories for the philosopher

edité par Elaine Landry : https://books.google.fr/books?id=RIM8DwAAQBAJ&pg=PA329&lpg=PA329&dq=weatherall+category+theory+and+classical+space+time+theories&source=bl&ots=VLMOJWFg6_&sig=ACfU3U06Jq2xUPoElhVwrsuycfL2_q3JdQ&hl=fr&sa=X&ved=2ahUKEwjvkfG1vsjhAhVeDGMBHQn7D4cQ6AEwBnoECAcQAQ#v=onepage&q=weatherall%20category%20theory%20and%20classical%20space%20time%20theories&f=false Un des chapitres, «  Proof theory of thé cut rule «  , par Cockett et Seely, est ici : Click to access proof_theory-essay.pdf On y retrouve de nombreuses correspondances avec le calcul diagrammatique de … Continue reading

Posted in ∞-catégories, ∞-topoi, Categorical quantum mechanics, category theory, Géométrie, Higher category theory, Higher topos theory, Homotopy, homotopy type theory, Philosophie, Philosophie mathématique, Physique, Quantum mechanics, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory) | Comments Off on Categories for the philosopher

#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 : Click to access Joyal.pdf que j’ai commentée ici : #HoTT Mike Shulman : Categorical models of homotopy type theory La correspondance entre #CT et #HoTT selon André Joyal Mais … Continue reading

Posted in ∞-catégories, ∞-cosmoi, category theory, EHTT, Higher category theory, Higher topos theory, Homotopy, homotopy type theory, Science, mathesis, Science-internelle | Comments Off on #EHTT André Joyal : What is an elementary higher topos EHT ? a tentative definition

#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 : Les deux théories mathématiques privilégiées 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 … 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) | Comments Off on #HoTT : la théorie homotopique des types pour sortir de l’opposition thématisée par Badiou