Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Kategorienseminar: Topics in Category Theory
Dr. Stefan Milius bietet im nächsten Semester (SS 19) einen Reading Course/Seminar zu fortgeschrittenen Themen in der Kategorientheorie an.
Fortgeschritten in dem Sinne, dass es als Nachfolgeveranstaltung zu Algebra des Programmierens gedacht ist, was eine Einführung in Kategorientheorie war + kategorientheoretische Sicht auf (ko)induktive Datentypen mit F-(Ko)algebren.
Eine feste Themenliste gibt es per se nicht, es werden sich Themen aus einem Buch (dessen Name ich leider vergessen habe) gepickt, die von allen Teilnehmern selbständig angelesen werden und in der Gruppe besprochen sowie Aufgaben durch die Teilnehmer vorgestellt.
Möglicherweise kann man auch eigene Themen aus der Literatur vorschlagen.
Name: Themen der Kategorientheorie (TopCat)
ECTS: 5
Zeit und Ort: Di 10:15 - 11:45, 00.131-128
Disclaimer: Das ist keine offizielle “VL-Ausschreibung”, ich mache nur Werbung als Student für Studenten 