Category Archives: Higher category theory

Volovitch : number theory as the ultimate physical theory

Cet article, qui peut être lu ici : https://pdfs.semanticscholar.org/938d/f21cddf480c8d001be5e5a54ac20a41e5388.pdf?_ga=2.118165184.816751500.1560863709-297617124.1560863709 se revendique comme «  pythagoricien », mais nous savons que le pythagorisme a été le dernier champ de lutte entre les « mathématiciens » et les « acousmatiques » , c’est … Continue reading

Posted in Higher category theory, Higher topos theory, Nombres, number theory, Philosophie, Physique, Quantum mechanics, Science, mathesis, Science-internelle, string theory, Théorie des topoi (topos theory), topos physics | Leave a comment

Un cadre mathématique pour les trois oppositions fondamentales : les intercatégories

Rappelons cet article séminal : https://reformescientifiquedelanthroposophie.wordpress.com/2019/05/23/intercategories-un-cadre-pour-la-formalistion-des-trois-oppositions-fondamentales/ qui prend tout son sens avec la réactualisation du système de trois dualités fondamentales dans le travail de Max Tegmark : https://anthroposophiephilosophieetscience.wordpress.com/2019/06/07/les-trois-dualites-fondamentales-moi-vital-moi-spirituel-monde-imaginaire-monde-veritable-et-dieu-anthropomorphique-dieu-divin-mises-en-lumiere-par-max-tegmark/   Je n’ai pas avancé dans ce travail, il faut avoir la … Continue reading

Posted in category theory, Higher category theory, Higher topos theory, opposition monde véritable-monde imaginaire, Science, mathesis, Science-internelle

Topos à l’IHES : chaîne Youtube

Posted in Higher topos theory, opposition monde véritable-monde imaginaire, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des topoi (topos theory), topos physics

Collected works of William Lawvere

https://github.com/mattearnshaw/lawvere Inappréciable.. un géant de la stature de Grothendieck… Lawvere est le fondateur du versant logique de la théorie des topoi, Grothendieck du versant géométrique

Posted in category theory, Higher category theory, Higher topos theory, opposition monde véritable-monde imaginaire, Philosophie mathématique, Quasicatégories, Science, mathesis, Science-internelle, Théorie des topoi (topos theory)

Higher dimensional categories : an illustrared guide book

Higher dimensional categories : an illustrated guide book https://web.math.rochester.edu/people/faculty/doug/otherpapers/cheng-lauda.pdf   La conception du temps comme tridimensinel conduit à une catégorie à six dimensions dite « de Lorentz » : https://hottandphilosophy.wordpress.com/2019/04/11/lambek-six-dimensional-lorentz-category/ La théorie des catégories supérieures ( higher categories) constitue un … Continue reading

Posted in category theory, Higher category theory, Science, mathesis

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)

Categorical structures for Type theory in univalent foundations

https://hal.inria.fr/hal-01579271/document

Posted in category theory, EHTT, Higher category theory, homotopy type theory, Type theory