HoTT-Vorlesung
Materialien zur Vorlesung Homotopietypentheorie, Sommersemester 2021, Universität Augsburg Das Vorlesungsskript gibt es hier als pdf
Mitmachen
Wer Fehler findet kann gerne einen Pullrequest stellen. Wer nicht weiß, was das ist oder wie man das genau macht, findet bestimmt Unterstützung bei anderen HörerInnen, dem Übungsleiter oder dem Dozenten. Solche Dinge lassen sich auch gut über Screen-Sharing Funktionen in Videokonferenzen vermitteln.