Category Archives: ∞-catégories

La vision unificatrice de Grothendieck : mathématiques « classiques  et modernes »

xCet article sur « La vision unificatrice de Grothendieck : au-delà de l’unité (méthodologique ?) des mathématiques de Lautman« : https://www.erudit.org/fr/revues/philoso/2010-v37-n1-philoso3706/039718ar.pdf est très important et a  déjà été croisé ici, mais aujourd’hui je me contenterai de l’introduction, disons des 3 … Continue reading

Posted in Alain, ∞-catégories, ∞-topoi, category theory, Cochet-Brunschvicg, DIEU, Grothendieck, Higher category theory, Higher topos theory, homotopy type theory, Léon Brunschvicg, Nombres, number theory, opposition monde véritable-monde imaginaire, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie de Galois, Théorie des ensembles (set theory), Théorie des nombres, Théorie des topoi (topos theory), Wronski, Wronski-Messianisme-séhélianisme-Science-internelle

Groupe de travail sur les ∞-catégories

https://www.math.univ-paris13.fr/~vallette/GdT%20Categories%20infinies.html (surtout pour les références à la fin)

Posted in ∞-catégories

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 : http://www.math.mcgill.ca/rags/misc/proof_theory-essay.pdf On y retrouve de nombreuses correspondances avec le calcul diagrammatique de Bob Coecke , … 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)

La différence entre « Dieu » et « Esprit » dans le cadre malebranchiste des Idées intelligibles et des idées humaines

L’examen approfondi et la méditation de l’oeuvre De José Dupré : https://laviedelesprit.wordpress.com/2013/02/05/la-revolution-de-pensee-jose-dupre/ a entraîné ici une vision très claire de ce qui est requis pour remplacer le Dieu humain et anthropomorphique , mensonge vital, par le « Dieu véritablement divin », « en … Continue reading

Posted in Alain Badiou, ∞-catégories, ∞-cosmoi, Bible, Cochet-Brunschvicg, Coran, DIEU, Léon Brunschvicg, Malebranche, Philosophie, Plan vital-plan spirituel, Platon, Religions, Science, mathesis, Science-internelle, Spinoza

#EHTT #HoTT Summer school on higher topos theory and univalent foundations Leeds June 2019

https://conferences.leeds.ac.uk/httuf/ Quand je vous disais que c’est le nouveau Far West.. HTTUF univalent foundations c’est JoTT .. HTT c’est(elementary ) higher topos theory . Je crois que je vais aller y faire un tour, ce sera toujours mieux que Paris, … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, EHTT, homotopy type theory

#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 : https://ncatlab.org/homotopytypetheory/files/Joyal.pdf que j’ai commentée ici : https://scienceinternelle.wordpress.com/2019/02/14/hott-mike-shulman-categorical-models-of-homotopy-type-theory/ https://anthroposophiephilosophieetscience.wordpress.com/2019/02/10/la-correspondance-entre-ct-et-hott-selon-andre-joyal/ Mais la vidéo du cours est ici :

Posted in ∞-catégories, ∞-cosmoi, category theory, EHTT, Higher category theory, Higher topos theory, Homotopy, homotopy type theory, Science, mathesis, Science-internelle

#EHTT Mike Shulman ;: towards elementary ∞-toposes

Le texte de ce cours est ici : https://video.ias.edu/sites/video/files/eleminf.pdf En vidéo :

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, EHTT, homotopy type theory