Universität Regensburg   IMPRESSUM   DATENSCHUTZ
Fakultät für Mathematik Universität Regensburg

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