Lecture course Homotopy Type Theory .
GRIPS page here
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
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.