Category and Topos Theory in the Foundations of Physics (PW Foundations) 2014/2015

Detailed information

Most recent entry on 2015-01-28 

Faculty

Friedrich-Alexander-Universität Erlangen-Nürnberg

Recording type

Vorlesungsreihe

Language

English

This lecture course will provide an introduction to the topos approach to quantum theory and, more generally, to the formulation of physical theories. The topos approach was initiated by Isham and Butterfield in the late 1990s and was substantially developed over the last few years by Isham, me, and a number of other researchers. The approach does not just draw on category and topos theory, but also uses operator algebras, logic, and of course foundations of physics in a fundamental way. My aim is to present all these aspects in a way that is accessible to an interested master level student. 
The structure of the lecture course will be as follows: 
1 Motivation 
2 Foundations of quantum theory and foundations of physics (propositions, states, quantum logic, hidden variable theories, contextuality and Kochen-Specker theorem, locality and Bell's theorem, probabilites and truth values, instrumentalism vs. realism) 
3 Basics of category and topos theory (definitions, limits and colimits, universal constructions, adjunctions, Galois connections, presheaves and sheaves, topoi, subobject classifier and internal logic, examples) 
4 Some aspects of the theory of C*-algebras and von Neumann algebras (definitions, representations, states, examples, types of von Neumann algebras, abelian algebras and Gelfand duality, Jordan algebra and Lie algebra structures, orientations, physical interpretation) 
5 Basic structures in the topos approach (contexts, spectral presheaf, clopen subobjects, Heyting and bi-Heyting algebras, pseudostates, truth value assignment, states and probability measures) 
6 Advanced structures and results in the topos approach (internalisation of probabilities, time evolution, generalised Gelfand duality and noncommutative geometry)

Associated Clips

Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Category and Topos Theory in the Foundations of Physics (PW Foundations)
Prof. Dr. Andreas Döring
2014-10-06
Studon
01:25:57
2
Category and Topos Theory in the Foundations of Physics (PW Foundations)
Prof. Dr. Andreas Döring
2014-10-09
Studon
01:32:22
3
Category and Topos Theory in the Foundations of Physics (PW Foundations)
Prof. Dr. Andreas Döring
2014-10-13
Studon
01:26:53
4
Category and Topos Theory in the Foundations of Physics (PW Foundations)
Prof. Dr. Andreas Döring
2014-10-15
Free
01:23:27
5
Category and Topos Theory in the Foundations of Physics (PW Foundations)
Prof. Dr. Andreas Döring
2014-10-20
Studon
01:37:17
6
Category and Topos Theory in the Foundations of Physics (PW Foundations)
Prof. Dr. Andreas Döring
2014-10-22
Studon
01:02:52
7
Category and Topos Theory in the Foundations of Physics (PW Foundations)
Prof. Dr. Andreas Döring
2014-10-27
Studon
01:37:08
8
Category and Topos Theory in the Foundations of Physics (PW Foundations)
Prof. Dr. Andreas Döring
2014-10-29
Studon
01:25:49
9
Category and Topos Theory in the Foundations of Physics (PW Foundations)
Prof. Dr. Andreas Döring
2014-11-03
Studon
01:33:08
10
Category and Topos Theory in the Foundations of Physics (PW Foundations)
Prof. Dr. Andreas Döring
2014-11-05
Studon
01:29:54
11
Category and Topos Theory in the Foundations of Physics (PW Foundations)
Prof. Dr. Andreas Döring
2014-11-10
Studon
01:17:12
12
Category and Topos Theory in the Foundations of Physics (PW Foundations)
Prof. Dr. Andreas Döring
2014-11-12
Studon
01:30:34
13
Category and Topos Theory in the Foundations of Physics (PW Foundations)
Prof. Dr. Andreas Döring
2014-11-17
Studon
01:23:38
14
Category and Topos Theory in the Foundations of Physics (PW Foundations)
Prof. Dr. Andreas Döring
2014-11-19
Studon
01:31:10
15
Category and Topos Theory in the Foundations of Physics (PW Foundations)
Prof. Dr. Andreas Döring
2014-11-24
Studon
01:33:57
16
Category and Topos Theory in the Foundations of Physics (PW Foundations)
Prof. Dr. Andreas Döring
2014-11-26
Studon
01:28:50
17
Category and Topos Theory in the Foundations of Physics (PW Foundations)
Prof. Dr. Andreas Döring
2014-12-08
Studon
01:21:52
18
Category and Topos Theory in the Foundations of Physics (PW Foundations)
Prof. Dr. Andreas Döring
2014-12-10
Studon
01:31:41
19
Category and Topos Theory in the Foundations of Physics (PW Foundations)
Prof. Dr. Andreas Döring
2014-12-15
Studon
01:25:02
20
Category and Topos Theory in the Foundations of Physics (PW Foundations)
Prof. Dr. Andreas Döring
2014-12-17
Studon
01:32:31
21
Category and Topos Theory in the Foundations of Physics (PW Foundations)
Prof. Dr. Andreas Döring
2015-01-07
Studon
01:31:36
22
Category and Topos Theory in the Foundations of Physics (PW Foundations)
Prof. Dr. Andreas Döring
2015-01-12
Studon
01:15:02
23
Category and Topos Theory in the Foundations of Physics (PW Foundations)
Prof. Dr. Andreas Döring
2015-01-14
Studon
01:30:41
24
Category and Topos Theory in the Foundations of Physics (PW Foundations)
Prof. Dr. Andreas Döring
2015-01-19
Studon
01:30:45
25
Category and Topos Theory in the Foundations of Physics (PW Foundations)
Prof. Dr. Andreas Döring
2015-01-20
Studon
01:11:01
26
Category and Topos Theory in the Foundations of Physics (PW Foundations)
Prof. Dr. Andreas Döring
2015-01-26
Studon
01:25:03
27
Category and Topos Theory in the Foundations of Physics (PW Foundations)
Prof. Dr. Andreas Döring
2015-01-28
Studon
01:23:22

More courses in this category "Physics"

Schmidt, Kai Phillip
Prof. Dr. Kai Phillip Schmidt
2019-10-14
IdM-login
Hensel, Carsten
Prof. Dr. Carsten Hensel
2012-07-13
Studon
Marquardt, Florian
Prof. Dr. Florian Marquardt
2017-07-24
Free
Schuller, Frederic P.
Dr. Frederic P. Schuller
2014-07-10
Free