Lecture course Synthetic Category Theory
Taught in parallel in Regensburg (Tashi Walde) and Hamburg (Lyne Moser)
GRIPS page here (for UR students)
When and where:
Lecture: Wednesday 12--14, M102
Lecture: Friday 14--16, M102
Exercise class: Monday 10--12, room TBD
Lecture course Homotopy Type Theory .
GRIPS page here (guest access available)
When and where:
Lecture: Mo 14--16, M103
Lecture: Wed 12--14, M101
Exercise class: Fr 10--12, M101
Lecture also on zoom
Recordings can be found in the UR Mediathek
Lecture notes here (unpolished)
Teaching assistant for Synthetic category theory (Cisinski); GRIPS-page.
Übungsgruppenleiter für Lineare Algebra und Analytische Geometrie (Hellus).
Lecture course Algebraic Topology II
GRIPS page here.
Lecture notes here (unpolished).
Contents:
some recollections from algebraic topology I
elementary homotopy theory: mapping cylinders, homotopy pushouts, suspensions, long exact sequence
basic theory of cofibrations and fibrations
homotopy groups and Serre fibrations
excision for homotopy groups
CW complexes, cellular and CW-approximation, Eilenberg--Mac Lane spaces
homology vs homotopy
Outlook: spectra and (co)homology
See my old old homepage at TUM.