Category Archives: Homotopy

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 : https://pdfs.semanticscholar.org/1465/80c6b1b0af60d518cc3a9155516ef4ff9fe2.pdf   https://books.google.fr/books?id=vvfWMVYQS9YC&printsec=frontcover&hl=fr#v=onepage&q&f=false Advertisements

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 | Leave a comment

(∞,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 https://www.oliviacaramello.com/Teaching/CambridgeToposTheoryCourseLectures9and10.pdf avait été reconnue comme cadre des travaux  d’élucidation de la « loi de création » de Wronski : https://mathesisuniversalis.wordpress.com/2015/06/24/morphismes-geometriques-et-2-categorie-topos-des-topoi-comme-cadre-general-de-nos-travaux/ https://meditationesdeprimaphilosophia.wordpress.com/2012/04/25/la-loi-de-creation-de-wronski-et-la-theorie-des-categories/ Il ne … 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

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 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

#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)

La Méthode de Spinoza : la connaissance réflexive de l’idée

Archimede réclamait un point fixe pour soulever le monde, Spinoza dans le « Traité de la réforme de l’entendement «  basé sur l’idée vraie donnée la voie pour parvenir au Bien véritable qu’il oppose au début du Traité aux faux biens … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, DIEU, Higher category theory, Higher topos theory, Homotopy, homotopy type theory, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Plan vital-plan spirituel, Quasicatégories, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory)

Nicola Gambino : cours IV univalent foundations

Venant à la suite de : https://hottandphilosophy.wordpress.com/2018/09/07/nicola-gambino-cours-iii-homotopical-models-of-type-theory/ Le cours IV est ici : http://www1.maths.leeds.ac.uk/~pmtng/Slides/HoTT-Lecture4.pdf La page 5 sur 23 aborde les types dits contractibles , à partir de la formule pour un nouveau type formé à partir du type A … Continue reading

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