Kategorien

Inhaltsverzeichnis I. Kategorien, Funktoren und natürliche Transformationen. 1. Axiome für Kategorien. 2. Kategorien. 3. Funktoren. 4. Natürliche Transformationen. 5. Monomorphe und epimorphe Pfeile; Nullobjekte. 6. Grundlegungen. 7. Große Kategorien. 8. Horn-Mengen. II. Konstruktionen mit Kategorien. 1. Dualität. 2. Kontravarianz und duale Kategorien. 3. Produkte von Kategorien. 4. Funktorkategorien. 5. Die Kategorie aller Kategorien. 6. Komma-Kategorien. 7. Graphen und freie Kategorien. 8. Quotienten von Kategorien. III. Universelle Konstruktionen und Limites. 1. Universelle Pfeile. 2. Das Yoneda-Lemma. 3. Coprodukte und Colimites. 4. Produkte und Limites. 5. Kategorien mit endlichen Produkten. 6. Gruppen in Kategorien. IV. Adjungierte Funktoren. 1. Adjunktionen. 2. Beispiele für Adjungierte. 3. Reflektive Unterkategorien. 4. Äquivalenz von Kategorien. 5. Adjungierte für Vorordnungen. 6. Kartesisch abgeschlossene Kategorien. 7. Transformation von Adjungierten. 8. Komposition von Adjungierten. V. Limites. 1. Erzeugung von Limites. 2. Existenzkriterien für Limites, die Produkte und Differenzkerne benutzen. 3. Limites mit Parametern. 4. Respektierung von Limites. 5. Verhalten von Adjungierten auf Limites. 6. Der Hauptsatz von Freyd für adjungierte Funktoren. 7. Unterobjekte und Generatoren. 8. Der spezielle Hauptsatz für adjungierte Funktoren. 9. Adjungierte in der Topologie. VI. Monaden und Algebren. 1. Monaden über einer Kate