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 , et les catégories monoidales.

 

 

 

 

Advertisements
This entry was 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). Bookmark the permalink.