Seminar (Kategorientheorie) (Wintersemester 2010/11)
| Dozent: | JProf. Dr. Gabriela Weitze-Schmithüsen, Dipl.-Math. Dipl.-Inform. Myriam Finster |
|---|---|
| Veranstaltungen: | Seminar (1217) |
| Semesterwochenstunden: | 2 |
| Hörerkreis: | Mathematik (alle Studiengänge), Informatik (ab 5. Semester) |
| Zeit | Termin |
|---|---|
| 16.7.2010, 13:15 Uhr | Vorbesprechung |
| Seminar: | Dienstag 14:00-15:30 | 1C-03 |
|---|
| Seminarleitung | JProf. Dr. Gabriela Weitze-Schmithüsen |
|---|---|
| Sprechstunde: Montag, 10:30h - 12h und wann immer ich da bin | |
| Zimmer 3A-02 Allianz-Gebäude (05.20) | |
| Email: weitze-schmithuesen@kit.edu | Seminarleitung | Dipl.-Math. Dipl.-Inform. Myriam Finster |
| Sprechstunde: nach Vereinbarung | |
| Zimmer 4A-04 Allianz-Gebäude (05.20) | |
| Email: myriam.finster@kit.edu |
In diesem Seminar wollen wir etwas tiefer in Kathegorientheorie eindringen. Dabei moechten wir auch Anwendungen in der Informatik kennenlernen.
Voraussetzung fuer das Seminar sind Algebra I und Algebra II. Hier gibt es den Aushang zum Seminar.
Die Ausarbeitungen der Vortragenden sind seit dem Austeilen im Seminar zum Teil überarbeitet worden - es lohnt sich also auch einen Blick in die Online-Version zu werfen.
Die Vorträge:
- Vortrag 1: "Grundlegendes zu Kategorien." Jonathan Zachhuber
- Vortrag 2: "Adjunktionen." Felix Wellen
- Vortrag 3: "Monaden." Tobias Columbus
- Vortrag 4: "Haskell und Monaden." Joachim Breitner
- Vortrag 5: "Elementartopoi." Michael Fütterer
- Vortrag 6: "Garben." Vanessa Schmidt
- Vortrag 7 (Ausarbeitung Teil 1): "Die Kategorie der Garben auf einem Situs." Gabriela Weitze-Schmithüsen
- Vortrag 8 (Ausarbeitung Teil 1): "Heyting Algebren." David Weniger
- Vortrag 9: "Die Lawvere-Tierny Topologie." Myriam Finster
- Vortrag 10: "Konstruktion von Topoi mit Auswahlaxiom." Stephan Spahn
- Vortrag 11: "Kontinuumshypothese." Lukas Hartmann