Category Archives: Higher category 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 | Leave a comment

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

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

Les catsters sur YouTube : explication des monades par Eugenia Cheng

Ciné vidéos formidables avec Eugenia Cheng il y a 10 ans https://golem.ph.utexas.edu/category/2007/09/the_catsters_on_youtube.html La notion de monade est très importante et conduit à la dynamique monadique et aux réflexions scientifiques sur le Temps, ce mystère (aux yeux de Saint Augustin) https://meditationesdeprimaphilosophia.wordpress.com/2015/10/22/dynamique-monadique-le-temps-comme-propriete-universelle-du-changement/

Posted in category theory, Higher category theory, Philosophie, Physique, Plan vital-plan spirituel, Quantum mechanics, Science, mathesis, Science-internelle, Time

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 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 Nima Rasekh : towards algebraic topology in an elementary higher topos (EH- topos = EHT)

Le texte est ici : https://www.uwo.ca/math/faculty/kapulkin/seminars/hottestfiles/Rasekh-2019-02-07-HoTTEST.pdf Une partie en a été commentée ici : https://scienceinternelle.wordpress.com/2019/02/15/ehtt-vs-hott-what-is-an-elementary-higher-topos/ EHTT est à mon sens ce qui va prendre la suite de HoTT , je peux me tromper bien sûr .. et c’est en train … Continue reading

Posted in EHTT, Higher category theory, Higher topos theory, homotopy type theory, Science, mathesis, Science-internelle, Théorie des topoi (topos theory)