Themen der Kategorientheorie

Dozent Prof. Dr. Stefan Milius http://www.ruhr-uni-bochum.de/topologie/funktor.jpg
Ort 02.133-113 (Martenstr. 3, 2. OG)
Termine WiSe 2024/25, Di 10:15-11:45
Beginn Di, 15. Okt. 2024
Umfang Seminar, 2 SWS, ECTS-Credits: 5

Verschiedene Themen der Kategorientheorie werden von den Teilnehmern erarbeitet und vorgetragen. Die Themenauswahl kann dabei flexibel auf die Interessen der Teilnehmer zugeschnitten werden. Mögliche, teilweise an Algebra des Programmierens unmittelbar anschließende, Themen sind bspw.:

  • freie Konstruktionen, universelle Pfeile und adjungierte Funktoren
  • Äquivalenzfunktoren
  • Monaden: Eilenberg-Moore und Kleisli-Kategorien; Freie Monaden; Becks Satz
  • Kartesisch abgeschlossenene Kategorien
  • Vollständige Halbordnungen (cpos), Einbettungen/Projektionen, Limes-Kolimes-Koinzidenz, Lösung rekursive Domaingleichungen
  • Kan Erweiterungen
  • (symmetrische) monoidale Kategorien
  • Faktorisierungsstrukturen

Empfohlene Voraussetzungen

  • Grundlegende Kenntnisse der Kategorientheorie (Kategorien, Funktoren, natürliche Transformationen, Yoneda-Lemma, Limites und Kolimites)
  • Es wird empfohlen Algebra des Programmierens zu absolvieren, bevor diese Lehrveranstaltung belegt wird.

StudOn

Weitere Materialien werden in StudOn zur Verfügung gestellt. Bitte melden Sie sich dort für die Lehrveranstaltung an:
https://www.studon.fau.de/crs5832575.html

Literatur

  • S. MacLane, Categories for the Working Mathematician, 2nd edition, Springer-Verlag, 1998.
  • J. Adamek, H. Herrlich and G.E. Strecker: Abstract and Concrete Categories: The joy of cats, 2nd edition, Dover Publications, 2009.
    Freie Online-Version
  • S. Awodey: Category Theory, 2nd edition, Oxford University Press, 2010.
    (Elektronische Version verfügbar über die Bibliothek)
  • T. Leinster: Basic Category Theory, Cambridge University Press, 2014
    Freie Online Version
  • E. Riehl: Category Theory in Context, Dover Publications, 2016.
    Freie Online Version