Seminar (Kategorientheorie) (Wintersemester 2010/11)
- Dozent*in: JProf. Dr. Gabriela Weitze-Schmithüsen, Dr. Myriam Finster
- Veranstaltungen: Seminar (1217)
- Semesterwochenstunden: 2
- Hörerkreis: Mathematik (alle Studiengänge), Informatik (ab 5. Semester)
Aktuelle Termine
| Datum | Veranstaltung |
|---|---|
| 16.7.2010, 13:15 Uhr |
Kategorientheorie
| Termine | ||
|---|---|---|
| Seminar: | Dienstag 14:00-15:30 | 1C-03 |
| Lehrende | ||
|---|---|---|
| Seminarleitung | JProf. Dr. Gabriela Weitze-Schmithüsen | |
| Sprechstunde: | ||
| Zimmer Kollegiengebäude Mathematik (20.30) | ||
| Email: | Seminarleitung | Dr. Myriam Finster |
| Sprechstunde: | ||
| Zimmer Allianz-Gebäude (05.20) | ||
| Email: | ||
In diesem Seminar wollen wir etwas tiefer in Kathegorientheorie eindringen. Dabei moechten wir unter anderem auch Anwendungen in der Logik und Informatik kennenlernen.
Voraussetzung fuer das Seminar sind Algebra I und Algebra II. Hier gibt es den Aushang zum Seminar.
Die Ausarbeitungen der Vortragenden sind zu einem Manuskript zusammengefasst worden, das man hier herunterladen kann. Dabei sind die Ausarbeitungen seit dem Austeilen im Seminar zum Teil überarbeitet worden - es lohnt sich also auch einen Blick in die Online-Version zu werfen.
Wer den Überarbeitungen misstraut findet hier noch die Ausarbeitungen der einzelnen 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