Lecture course Synthetic Category Theory
Taught in parallel in Regensburg (Tashi Walde) and Hamburg (Lyne Moser)
For further information, see the GRIPS page (guest access available).
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.