Kategorien in der Programmierung 2017/2018 (Audio)

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 Lernziele und Kompetenzen: Fachkompetenz Verstehen Die Studierenden erklären grundlegende Begriffe und Konzepte der Kategorientheorie und beschreiben Beispiele. Sie erklären außerdem grundlegende kategorielle Ergebnisse. Anwenden Die Studierenden wenden ka