Ab dem Wintersemester 2025/2026 steht das neue Videoportal allen Nutzer:innen zur Verfügung.
Testen Sie es vorab unter dem folgenden Link (UNI Netzwerk oder VPN).
Die behandelten Themen bauen auf den Stoff von Algebra des Programmierens auf und vertieft diesen.
Folgende weiterführende Themen werden behandelt:
Kategorie der CPOs; insbesondere freie CPOs, Einbettungen/Projektionen, Limes-Kolimes-Koinzidenz
Lokal stetige Funktoren und deren kanonische Fixpunkte; Lösung rekursiver Bereichsgleichungen insbesondere Modell des ungetyptes Lambda-Kalküls
freie Konstruktionen, universelle Pfeile und adjungierte Funktoren
Äquivalenzfunktoren
Monaden: Eilenberg-Moore und Kleisli-Kategorien; Freie Monaden; Becks Satz
evtl. Distributivgesetze, verallgemeinerte Potenzmengenkonstruktion und abstrakte GSOS-Regeln
evtl. Algebren und Monaden für Iteration