Seminar über Kategorien

Vortrag 1: Kategorien, Funktoren, natürliche Transformationen Vortrag 2: Konstruktionen mit Kategorien Vortrag 3 und 4: Yoneda-Lemma, Produkte, Equalizer und Limiten Vortrag 5 und 6: Koprodukte, Koequalizer und Kolimiten, Vertauschen von (Ko-)Limiten und (Ko-)Limiten Vortrag 7 und 8: Adjunktionen, (ko-)reflektive Unterkategorien Vortag 9: Monoid- und Gruppen-Objekte, (symmetrisch) monoidale Kategorien Vortrag 10 und 11: Prägarben Vortrag 12: Garben Vortrag 13 und 14: Unterobjekte, Unter-Objekt-Klassifikator, Propositions-Kalkül, Heyting-Algebren, Quantoren ---------------------------------------------------- G. Bredon Sheaf Theory, Springer 1997. B. Iversen Cohomology of Sheaves, Springer 1986. T. Leinster Category theory (course notes), http://www.maths.ed.ac.uk/~tl/msci/. S. Mac Lane, Categories for the Working Mathematician, Springer 1971. S. Mac Lane, I. Moerdijk Sheaves in geometry and logic, Springer 1992.