Lecture course Homotopy Type Theory .
GRIPS page here
When and where (4 hours lecture, 2 hours exercise sessions; exact split TBA):
Mo 14--16, M103
Wed 12--14, M101
Fr 10--12, M101
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.