Category Archives: ∞-topoi

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

CT2019 Edinburgh : exposé d’Emily Riehl ( travail en association avec Dominic Verity)

cet exposé est ici: http://www.math.jhu.edu/~eriehl/CT2019.pdf L’exemple paradigmatique de 1-topos est Set, la catégorie des 0-catégories (ensembles) l’exemple paradigmatique de 2-topos est Cat, catégorie de toutes les (petites) catégories https://ncatlab.org/nlab/show/2-topos#the_archetypical_2topos l’exemple paradigmatique d’un ∞-topos est l’∞-catégorie Spaces : https://anthroposophiephilosophieetscience.wordpress.com/2018/01/11/scienceinternelle-l∞-topos-s-spaces-joue-dans-le-domaine-des-∞-categories-le-role-du-1-topos-set-dans-le-domaine-des-categories/ https://ncatlab.org/nlab/show/%28infinity%2C1%29-topos+theory https://ncatlab.org/nlab/show/%28infinity%2C1%29-toposContinue reading

Posted in ∞-topoi, Higher topos theory, Théorie des ensembles (set theory), Théorie des topoi (topos theory)

#HigherToposTheory Toen, Vezzosi : Segal topoi and stacks over Segal categories

https://arxiv.org/abs/math/0212330 papier très important , Jacob Lurie précise en page 527 de HTT : http://www.math.harvard.edu/~lurie/papers/highertopoi.pdf « Our notion of ∞-topos is essentially  equivalent to the notion of Segal topos introduced in the paper of Toen , Vezzosi and to Charles … Continue reading

Posted in ∞-topoi, Higher topos theory

On ∞-topoi

http://math.mit.edu/~lurie/papers/oldtopoi.pdf https://www.graptismath.net/files/infty-topoi-notes.pdf https://mathoverflow.net/questions/119557/are-infty-topoi-determined-by-their-localic-points https://hottandphilosophy.wordpress.com/2019/07/03/∞1-topos-theory-∞n-topoi/  

Posted in ∞-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