UnivIS
Information system of Friedrich-Alexander-University Erlangen-Nuremberg © Config eG 
FAU Logo
  Collection/class schedule    module collection Home  |  Legal Matters  |  Contact  |  Help    
search:      semester:   
 
 Layout
 
printable version

 
 
 Also in UnivIS
 
course list

lecture directory

 
 
events calendar

job offers

furniture and equipment offers

 
 

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

Lecturer
Prof. Dr. Andreas Döring

Details
Vorlesung
4 cred.h, ECTS studies, ECTS credits: 10, Sprache Englisch
Time and place: Mon, Wed 14:00 - 16:00, SR 01.683 (außer Wed 3.12.2014)

Fields of study
WF Ph-MA ab 1
WF Ph-BA ab 5

Contents
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)

ECTS information:
Credits: 10

Additional information
Expected participants: 20

Assigned lectures
UE: Übung zu "Category and Topos Theory in the Foundations of Physics"
Lecturer: Prof. Dr. Andreas Döring
Time and place: Tue 12:00 - 14:00, SR 01.683

Verwendung in folgenden UnivIS-Modulen
Startsemester WS 2014/2015:
Physikalisches Wahlfach: Category and Topos Theory in the Foundations of Physics (PW-10)

Department: Chair of Theoretical Physics (Prof. Dr. Mecke)
UnivIS is a product of Config eG, Buckenhof