UnivIS
Informationssystem der Friedrich-Alexander-Universität Erlangen-Nürnberg © Config eG 
FAU Logo
  Sammlung/Stundenplan    Modulbelegung Home  |  Rechtliches  |  Kontakt  |  Hilfe    
Suche:      Semester:   
 Lehr-
veranstaltungen
   Personen/
Einrichtungen
   Räume   Forschungs-
bericht
   Publi-
kationen
   Internat.
Kontakte
   Examens-
arbeiten
   Telefon &
E-Mail
 
 
 Darstellung
 
Druckansicht

 
 
 Außerdem im UnivIS
 
Vorlesungs- und Modulverzeichnis nach Studiengängen

Vorlesungsverzeichnis

 
 
Veranstaltungskalender

Stellenangebote

Möbel-/Rechnerbörse

 
 
Einrichtungen >> Naturwissenschaftliche Fakultät (Nat) >> Department Physik >> Institut für Theoretische Physik >> Lehrstuhl für Theoretische Physik (Prof. Dr. Mecke) >>

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

Dozent/in
Prof. Dr. Andreas Döring

Angaben
Vorlesung
4 SWS, ECTS-Studium, ECTS-Credits: 10, Sprache Englisch
Zeit und Ort: Mo, Mi 14:00 - 16:00, SR 01.683 (außer Mi 3.12.2014)

Studienfächer / Studienrichtungen
WF Ph-MA ab 1
WF Ph-BA ab 5

Inhalt
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-Informationen:
Credits: 10

Zusätzliche Informationen
Erwartete Teilnehmerzahl: 20

Zugeordnete Lehrveranstaltungen
UE: Übung zu "Category and Topos Theory in the Foundations of Physics"
Dozent/in: Prof. Dr. Andreas Döring
Zeit und Ort: Di 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)

Institution: Lehrstuhl für Theoretische Physik (Prof. Dr. Mecke)
UnivIS ist ein Produkt der Config eG, Buckenhof