Category Archives: ∞-topoi

Quantum topos

https://meditationesdeprimaphilosophia.wordpress.com/quantum-topos/ J’ai dit que je voyais plusieurs voies vers la physique permettant de distinguer monde imaginaire et monde véritable : relativité générale,  théorie des cordes, gravité quantique à boucles, TGD de Matti   Pitkanen, physique des topoi, ainsi que la … Continue reading

Posted in ∞-topoi, Jean -Michel Le Lannou, Léon Brunschvicg, opposition monde véritable-monde imaginaire, Philosophie, Philosophie mathématique, Physique, Plan vital-plan spirituel, Quantum mechanics, Quantum relativity, Science, mathesis, Science-internelle, string theory, Théorie des topoi (topos theory), topos physics, Whitehead

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)

#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

La honteuse agression antisémite subie par Alain Finkielkraut à Paris

https://actu.orange.fr/france/videos/gilets-jaunes-alain-finkielkraut-victime-d-insultes-antisemites-CNT000001d0EDB.html#plmAnchor https://www.lci.fr/social/video-alain-finkielkraut-insulte-et-pris-a-partie-par-des-gilets-jaunes-dans-le-quartier-de-montparnasse-a-paris-2113131.html https://www.lci.fr/politique/certains-voulaient-me-casser-la-gueule-sur-lci-alain-finkielkraut-reagit-a-l-agression-dont-il-a-ete-victime-hier-2113158.html https://www.franceinter.fr/politique/alain-finkielkraut-pris-a-partie-par-des-gilets-jaunes Finkielkraut est un des plus mesurés sur Israël, donc le traiter de « sioniste de merde » c’est équivalent à lui crier « sale juif de merde « .. mais ces gens là n’ont même pas le courage d’assumer Mais … Continue reading

Posted in Alain Badiou, Antisionisme-antisémitisme, ∞-cosmoi, ∞-topoi, Cochet-Brunschvicg, Coran, Descartes, DIEU, FRANCE 2017, Higher category theory, Higher topos theory, Léon Brunschvicg, Macrollande-dictature, Malebranche, nazisme, Occident faustien, Philosophie, Philosophie mathématique, Plan vital-plan spirituel, Platon, Science, mathesis, Science-internelle, Simone Weil

#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

#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 : https://anthroposophiephilosophieetscience.wordpress.com/2016/03/15/les-deux-theories-mathematiques-privilegiees-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 « L’immanence des vérités «  où Badiou écrit dans l’Introduction générale page 18: « Le regretté Jean Toussaint … 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)

Emily Riehl : the synthetic theory of ∞-categories vs the synthetic theory of ∞-categories

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi