Joint Seminar TUM/UR on Homotopy Type Theory

Hinweis Bitte informieren Sie sich auf den jeweiligen GRIPS-Seiten über den digitalen Ablauf der Lehrveranstaltungen.

English

Note For our digital courses all relevant information can be found on the appropriate GRIPS sites.

Joint Seminar TUM/UR on Homotopy Type Theory

Semester
WiSe 2020 / 21

Lecturer
Denis Charles-Cisinski and Claudia Scheimbauer (TUM)

Type of course (Veranstaltungsart)
Oberseminar

Contents
We will study homotopy theory from the logical perspective, and via its semantic interpretations in
classical algebraic topology as welll as in higher category theory.

Time/Date
To be determined

Location
video-conference

Course homepage
http://www.mathematik.uni-regensburg.de/cisinski/
(Disclaimer: Dieser Link wurde automatisch erzeugt und ist evtl. extern)

Registration

Registration for course work/examination/ECTS: FlexNow

Examination (Prüfungsleistungen)

Detailed written report of the seminar talk

Regelungen bei Studienbeginn vor WS 2015 / 16

Benotet:
- O. g. Studienleistung und o. g. Prüfungsleistung; die Note ergibt sich aus der Prüfungsleistung
Unbenotet:
- O. g. Studienleistung

Modules
MV, MSem

ECTS
Siehe Modulkatalog. MV und Nebenfach: 4,5 LP bei Studienbeginn ab WS 15/16, 6 LP bei
Studienbeginnvor WS 15/16