PIRSA:12100055

Video URL

https://pirsa.org/12100055

New Directions in Categorical Logic for Classical, Probabilistic and Quantum Physics

Fritz, T. (2012). New Directions in Categorical Logic for Classical, Probabilistic and Quantum Physics. Perimeter Institute for Theoretical Physics. https://pirsa.org/12100055

Fritz, Tobias. New Directions in Categorical Logic for Classical, Probabilistic and Quantum Physics. Perimeter Institute for Theoretical Physics, Oct. 09, 2012, https://pirsa.org/12100055 

          @misc{ scivideos_PIRSA:12100055,
            doi = {10.48660/12100055},
            url = {https://pirsa.org/12100055},
            author = {Fritz, Tobias},
            keywords = {Mathematical physics},
            language = {en},
            title = {New Directions in Categorical Logic for Classical, Probabilistic and Quantum Physics},
            publisher = {Perimeter Institute for Theoretical Physics},
            year = {2012},
            month = {oct},
            note = {PIRSA:12100055 see, \url{https://scivideos.org/pirsa/12100055}}
          }

Tobias Fritz Universität Innsbruck

Talk numberPIRSA:12100055
DOI10.48660/12100055
Source RepositoryPIRSA
Collection
Talk Type Scientific Series
Subject

Abstract

I will give an idea of what category theory is and how it can be successfully applied in mathematics and the mathematical sciences by means of example. The example is a notion from mathematical logic formalizing the intuitive concept of "property". The new category-theoretical definition of this notion can physically be interpreted as a measurement. Unraveling this definition in particular categories can be regarded as defining the concept of "property" in different context, e.g. in classical, probabilistic and quantum physics, and in each case this recovers familiar things.
Disclaimer: Up to some differences in the technical details, all of this is work of Bart Jacobs. (See arXiv:1205.3940)