Category Archives: 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 aspects of TQFT

https://arxiv.org/pdf/math/0512103.pdf

Posted in Categorical quantum mechanics, category theory, Quantum mechanics, Science, mathesis, Science-internelle

Bob Coecke et Aleks Kissinger : picturing quantum processes

https://www.cs.ox.ac.uk/ss2014/programme/Bob.pdf   C’est l’apprentissage de la mécanique quantique en images, dont Bob Coecke affirme ici que c’est possible:   « Une image vaut mille mots, un diagramme vaut un million de mots »  

Posted in Categorical quantum mechanics, category theory, Computer science, Physique, Quantum mechanics

Bob Coecke : From quantum processes to cognition via pictures

Posted in Categorical quantum mechanics, category theory, Computer science, Philosophie, Physique, Science, mathesis, Science-internelle, Théorie des topoi (topos theory), topos physics

Categorical semantics for time travel

EIl existe de nombreux articles scientifiques à propos de cette notion qui apparaît un peu comme une plaisanterie, notamment celui ci : https://arxiv.org/pdf/1902.00032.pdf Stefano Gogioso y participe,  il est aussi l’auteur  de celui ci sur la dynamique monadique : https://meditationesdeprimaphilosophia.wordpress.com/2015/10/22/dynamique-monadique-le-temps-comme-propriete-universelle-du-changement/Continue reading

Posted in category theory, Phénoménologie, Philosophie, Physique, Science, mathesis, Science-internelle, Time

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