Kategorien II

Dieses Buch entstand aus Aufzeichnungen, die ich fUr die Horer einer Vorlesung im Jahre 1967/68 in IDel angefertigt hatte. Angesichts der rasch wachsenden Anwendung der kategoriellen Sprache setzt es sich das Ziel, in den zentralen Teil der Theorie einzufUhren und dem weiter Interessierten Zugang zur Literatur zu verschaffen. An Vorkenntnissen sind in der Sache nur die einfachsten Grund­ begriffe der Mengenlehre und der Algebra erforderlich. Moduln treten zwar von Anfang an in den Beispielen auf, sie werden aber in 15.1 de­ finiert. Ein Teil der Beispiele entstammt der Topologie. Selbstvers1:ii.nd­ lich wird das Verstandnis der Begriffsbildungen wesentlich erleichtert, wenn man mit den Beispielen aus Algebra oder Topologie vertraut ist. 1m Mittelpunkt steht der Begriff des darstellbaren Funktors mit seinen Abwandlungen: Limites und adjungierte Funktorpaare. Es handelt sich um die Charakterisierung spezieller Objekte durch uni­ verselle Abbildungseigenschaften, die fiir Spezialfii.lle schon lange und im Werk von Bourbaki, bei anderer Sprache, systematisch benutzt wird. Das Yoneda-Lemma wird moglichst friih bereitgestellt. Dagegen wird die Behandlung adjungierter Funktorpaare aufgeschoben, bis sie zu­ sammenhangend moglich ist und auch die Kansche Konstruktion so­ fort angeschlossen werden kann. Filtrierende Colimites werden gebiih­ rend beriicksichtigt. Additive Kategorien und Funktorkategorien sind von Anfang an in die Betrachtung einbezogen. Dabei wird die benutzte Mengenlehre dort referiert, wo sich ihr Gebrauch aufdrangt. Nach dem gegenwiirtigen Stand scheinen Universa am handlichsten, und ich ver­ traue darauf, daB bei einer moglichen Revision der Grundlagen die Substanz der Theorie erhalten bleibt.