Eine Einführung in die Kategorientheorie

Transkript

1 1 / 41 Eine Einführung in die Kategorientheorie RHO-Sommercamp, Waren Martin Haufschild 17. August 2009

2 2 / 41 Inhalt Wozu Kategorientheorie? Motivation: Direktes Produkt in Gruppen und top. Räumen Kategorien Funktoren Natürliche Transformationen Diagramme Limes und Colimes von Diagrammen allgemeines Konzept des kategoriellen Produkts (mittels kategoriellem Limes)

3 3 / 41 Entstehung von mathematischen Teilgebieten durch ein Wechselspiel von konkreten interessanten Problemen und allgemeinen Theorien Oft sind die Beziehungen zwischen den Teilgebieten erst durch allgemeinere Theorien erkennbar.

4 4 / 41 Ursprünge der Kategorientheorie Zuerst: Einheitliche Sprache für Homologie und Cohomologie schaffen (Eilenberg, Mac Lane). Danach: Kategorien und Funktoren als Teile einer eigenständigen Theorie. Funktion der Kategorientheorie: Untersuchung der Struktur mathematischer Theorien und ihrer Beziehungen untereinander. In vielen Fällen ist es möglich die algebraische und topologische Komponente einer Theorie zu bestimmen.

5 4 / 41 Ursprünge der Kategorientheorie Zuerst: Einheitliche Sprache für Homologie und Cohomologie schaffen (Eilenberg, Mac Lane). Danach: Kategorien und Funktoren als Teile einer eigenständigen Theorie. Funktion der Kategorientheorie: Untersuchung der Struktur mathematischer Theorien und ihrer Beziehungen untereinander. In vielen Fällen ist es möglich die algebraische und topologische Komponente einer Theorie zu bestimmen.

6 4 / 41 Ursprünge der Kategorientheorie Zuerst: Einheitliche Sprache für Homologie und Cohomologie schaffen (Eilenberg, Mac Lane). Danach: Kategorien und Funktoren als Teile einer eigenständigen Theorie. Funktion der Kategorientheorie: Untersuchung der Struktur mathematischer Theorien und ihrer Beziehungen untereinander. In vielen Fällen ist es möglich die algebraische und topologische Komponente einer Theorie zu bestimmen.

7 4 / 41 Ursprünge der Kategorientheorie Zuerst: Einheitliche Sprache für Homologie und Cohomologie schaffen (Eilenberg, Mac Lane). Danach: Kategorien und Funktoren als Teile einer eigenständigen Theorie. Funktion der Kategorientheorie: Untersuchung der Struktur mathematischer Theorien und ihrer Beziehungen untereinander. In vielen Fällen ist es möglich die algebraische und topologische Komponente einer Theorie zu bestimmen.

8 5 / 41 Motivation: Verallgemeinerung von speziellen Strukturen In verschiedenen Teilgebieten der Mathematik werden oft mathematische Begriffe auf analoge Weise eingeführt Beweise in ähnlicher Weise durchgeführt Betrachten wir als Beispiel das direkte Produkt - zuerst für Gruppen und dann für topologische Räume.

9 Direktes Produkt von Gruppen DEFINITION: DIREKTES PRODUKT VON GRUPPEN Unter einem direkten Produkt der Gruppen G i, i I versteht man eine Gruppe G mit Gruppenhomomorphismen π i : G G i, i I, und folgender Eigenschaft: (DP) Sind Gruppenhomomorphismen f i : H G i, i I gegeben, so existiert genau ein Gruppenhomomorphismus f : H G, so dass für jedes i I gilt: π i f = f i, also folgendes Diagramm kommutiert: G G i!f f i H Es gibt bis auf Isomorphie nur ein direktes Produkt. Man spricht daher meist von dem direkten Produkt der G i und bezeichnet es mit i I G i := G. π i Die Homomorphismen π i, i I, nennt man die Projektionen. 6 / 41

10 7 / 41 Direktes Produkt von topologischen Räumen Analog ist das direkte Produkt von topologischen Räumen X i, i I definiert: DEFINITION: DIREKTES PRODUKT VON TOPOLOGISCHEN RÄUMEN Unter einem direkten Produkt der X i, i I versteht man einen topologischen Raum X mit stetigen Abbildungen π i : X X i, i I, und folgender Eigenschaft: (DP) Sind stetige Abbildungen f i : Y X i, i I gegeben, so existiert genau eine stetige Abbildung f : Y X, so dass für jedes i I gilt: π i f = f i. π i X X i!f f i Y

11 8 / 41 Direktes Produkt für weitere Strukturen Auf genau die gleiche Art kann man das direkte Produkt von Halbgruppen, Ringen, Vektorräumen oder Mengen definieren. Die spezielle mathematische Struktur der Objekte spielt für den Beweis, dass ein so definiertes direktes Produkt bis auf Isomorphie eindeutig bestimmt ist, keine Rolle.

12 9 / 41 Ein Ziel der Kategorientheorie ist es, solche Begriffe allgemein so einzuführen, dass sie in den verschiedenen Theorien jeweils genau das Richtige beschreiben und man Beweise im allgemeinen Rahmen führen kann. Ausgehend von einer mathematischen Theorie stellt sich für die Kategorientheorie folgende Frage: 1. Stellt dieser Satz in einer anderen mathematischen Theorie eine interessante Aussage dar? 2. Gibt es für diesen Satz auch einen Beweis, bei dem die mathematische Struktur der Objekte und Abbildungen keine Rolle spielt?

13 10 / 41 Nutzen der Kategorientheorie Der Kategorientheorie gelingt es damit einfachere Beweise zu finden weiter reichende Beweise zu finden zu präzisieren, welche Sätze einer mathematischen Theorie spezifisch für diese sind und welche verallgemeinert werden können Welche Axiome sind notwendig und was passiert, wenn man diese abschwächt?

14 10 / 41 Nutzen der Kategorientheorie Der Kategorientheorie gelingt es damit einfachere Beweise zu finden weiter reichende Beweise zu finden zu präzisieren, welche Sätze einer mathematischen Theorie spezifisch für diese sind und welche verallgemeinert werden können Welche Axiome sind notwendig und was passiert, wenn man diese abschwächt?

15 10 / 41 Nutzen der Kategorientheorie Der Kategorientheorie gelingt es damit einfachere Beweise zu finden weiter reichende Beweise zu finden zu präzisieren, welche Sätze einer mathematischen Theorie spezifisch für diese sind und welche verallgemeinert werden können Welche Axiome sind notwendig und was passiert, wenn man diese abschwächt?

16 10 / 41 Nutzen der Kategorientheorie Der Kategorientheorie gelingt es damit einfachere Beweise zu finden weiter reichende Beweise zu finden zu präzisieren, welche Sätze einer mathematischen Theorie spezifisch für diese sind und welche verallgemeinert werden können Welche Axiome sind notwendig und was passiert, wenn man diese abschwächt?

17 11 / 41 Eindeutigkeit des direkten Produkts bis auf Isomorphie Beweis am Beispiel von Gruppen: Seien zwei direkte Produkte π i : G G i, π i : G G i, i I, gegeben. Nach (DP) gibt es einen eindeutigen Homomorphismus φ : G G, so dass i I : π i = π i φ. Ebenso erhält man ein eindeutig bestimmtes φ : G G, so dass i I : π i = π i φ. Dann ist und π i = π i φ = π i (φ φ), i I, π i = π i id G = π i (φ φ), i I. Da nach (DP) aber genau ein Homomorphismus ψ mit π i ψ = π i, i I, existiert, muss φ φ = id G gelten und analog φ φ = id G. Dies bedeutet aber, dass φ und φ Isomorphismen mit φ = φ 1 sind.

18 12 / 41 Eindeutigkeit des direten Produkts bis auf Isomorphie Dieser Beweis bleibt unverändert gültig, wenn man Gruppe durch topologischen Raum und Gruppenhomomorphismus durch stetige Abbildung ersetzt. Gültigkeit für Gruppen und topologische Räume, aber auch für Halbgruppen, Ringe, Vektorräume und Mengen.

19 Was benutzt man also an mathematischer Struktur? Es ist die Existenz von identischen Abbildungen und die Komposition (Verknüpfung) von Abbildungen durch das -Produkt. Die jeweiligen Abbildungen erhalten die Struktur der jeweiligen Objekte und ebenso tut es das -Produkt. Man benötigt also eine Klasse K von Abbildungen, welche bezüglich folgende Bedingungen erfüllt: (i) Gilt f, g K und ist g f definiert, so ist g f K. (ii) Ist f K, f : A B, so gilt id A, id B K. Die Klasse aller Gruppenhomomorphismen oder die Klasse aller stetigen Abbildungen zwischen topologischen Räumen erfüllen diese Bedingungen. K ist mit der Verknüpfung und den Axiomen (i) und (ii) ein Beispiel für eine Kategorie. Man möchte sich bei Kategorien aber nicht auf Abbildungen beschränken. 13 / 41

20 DEFINITION: KATEGORIE Eine Kategorie K besteht aus Kategorien 1. einer Klasse Ob K von Objekten; 2. für alle A, B Ob K: eine Klasse K(A, B) von Morphismen (Pfeilen) von A nach B. Für f K(A, B), auch f : A B oder A f B, heißt A die Quelle und B das Ziel von f ; 3. eine Komposition von Morphismen: : K(B, C) K(A, B) K(A, C), g f =: gf mit folgenden Eigenschaften Assoziativität: Für A f B g C h D gilt (hg)f = h(gf ) (und deshalb) =: hgf Identitäten: Für jedes A Ob K gibt es einen identischen Morphismus id A K(A, A) mit id A f = f und g id A = g, falls f das Ziel A und g die Quelle A hat. 14 / 41

21 15 / 41 BEMERKUNG: Es genügt hier zu wissen: Jede Menge ist eine (kleine) Klasse, aber nicht umgekehrt ( NBG-Mengenlehre). Wir benutzen g f als g nach f. Aber auch die umgekehrte Schreibweise ist möglich. Die Morphismen und ihre Komposition sind essenziell. Aber es ist nicht von Interesse wie die Morphismen die Objekte von K aufeinander abbilden, z.b. wie die Elemente der Gruppen durch die Gruppenhomomorphismen aufeinander abgebildet werden. Man kann Kategorien alternativ auch so definieren, dass man auf Objekte verzichtet und identische Morphismen an ihrer Stelle benutzt. LEMMA: EINDEUTIGKEIT DER IDENTITÄTEN Der identische Morphismus id A ist durch das Objekt A eindeutig bestimmt.

22 15 / 41 BEMERKUNG: Es genügt hier zu wissen: Jede Menge ist eine (kleine) Klasse, aber nicht umgekehrt ( NBG-Mengenlehre). Wir benutzen g f als g nach f. Aber auch die umgekehrte Schreibweise ist möglich. Die Morphismen und ihre Komposition sind essenziell. Aber es ist nicht von Interesse wie die Morphismen die Objekte von K aufeinander abbilden, z.b. wie die Elemente der Gruppen durch die Gruppenhomomorphismen aufeinander abgebildet werden. Man kann Kategorien alternativ auch so definieren, dass man auf Objekte verzichtet und identische Morphismen an ihrer Stelle benutzt. LEMMA: EINDEUTIGKEIT DER IDENTITÄTEN Der identische Morphismus id A ist durch das Objekt A eindeutig bestimmt.

23 15 / 41 BEMERKUNG: Es genügt hier zu wissen: Jede Menge ist eine (kleine) Klasse, aber nicht umgekehrt ( NBG-Mengenlehre). Wir benutzen g f als g nach f. Aber auch die umgekehrte Schreibweise ist möglich. Die Morphismen und ihre Komposition sind essenziell. Aber es ist nicht von Interesse wie die Morphismen die Objekte von K aufeinander abbilden, z.b. wie die Elemente der Gruppen durch die Gruppenhomomorphismen aufeinander abgebildet werden. Man kann Kategorien alternativ auch so definieren, dass man auf Objekte verzichtet und identische Morphismen an ihrer Stelle benutzt. LEMMA: EINDEUTIGKEIT DER IDENTITÄTEN Der identische Morphismus id A ist durch das Objekt A eindeutig bestimmt.

24 15 / 41 BEMERKUNG: Es genügt hier zu wissen: Jede Menge ist eine (kleine) Klasse, aber nicht umgekehrt ( NBG-Mengenlehre). Wir benutzen g f als g nach f. Aber auch die umgekehrte Schreibweise ist möglich. Die Morphismen und ihre Komposition sind essenziell. Aber es ist nicht von Interesse wie die Morphismen die Objekte von K aufeinander abbilden, z.b. wie die Elemente der Gruppen durch die Gruppenhomomorphismen aufeinander abgebildet werden. Man kann Kategorien alternativ auch so definieren, dass man auf Objekte verzichtet und identische Morphismen an ihrer Stelle benutzt. LEMMA: EINDEUTIGKEIT DER IDENTITÄTEN Der identische Morphismus id A ist durch das Objekt A eindeutig bestimmt.

25 Beispiele für Kategorien Set: Katergorie aller Mengen und Abbildungen zwischen ihnen. Vek: Vektorräume und ihre linearen Abbildungen, Vek K : Vektorräume über dem Körper K, Grp: Gruppen und ihre Homomorphismen. Mon: Monoide und ihre Monoidhomomorphismen. Top: Topologische Räume und ihre stetigen Abbildungen. Cat: (Kleine) Kategorien und die Funktoren zwischen ihnen. Die leere Kategorie enthält kein Objekt und also auch keine Morphismen. Eine Kategorie heißt partielle Ordnungskategorie, wenn für alle A, B Ob K gilt: K(A, B) K(B, A) hat höchstens ein Element. Jede partiell geordnete Klasse kann bijektiv einer partiellen Ordnungskategorie zugeordnet werden. 16 / 41

26 17 / 41 Größenordnungen von Kategorien DEFINITION: (1) K heißt lokal klein, wenn für alle A, B Ob K: K(A, B) ist eine Menge. (2) K heißt klein, wenn A,B Ob K K(A, B) eine Menge ist. (3) K heißt endlich, wenn K eine endliche Menge ist. (4) K heißt diskret, wenn K nur die identischen Morphismen besitzt. LEMMA: KATEGORIEN SIND VERALLGEMEINERTE MONOIDE Eine kleine Kategorie K ist genau dann ein Monoid, d.h. eine Halbgruppe mit (eindeutigem) neutralem Element, wenn Ob K genau ein Element besitzt.

27 18 / 41 Isomorphismen DEFINITION: ISOMORPHISMUS In einer Kategorie K heißt der Morphismus f : A B ein Isomorphismus, wenn es ein g : B A gibt. so dass gf = id A und fg = id B. BEMERKUNG: g ist durch f eindeutig bestimmt und wird deshalb DAS Inverse von f genannt: g = f 1. Kompositionen und Inverse von Isomorphismen sind wieder Isomorphismen. A und B heißen isomorph (A = B), wenn es einen Isomorphismus f : A B gibt. A = B ist eine Äquivalenzrelation auf Ob K. Die Klasse aller Isomorphismen von K wird mit Iso(K) bezeichnet.

28 18 / 41 Isomorphismen DEFINITION: ISOMORPHISMUS In einer Kategorie K heißt der Morphismus f : A B ein Isomorphismus, wenn es ein g : B A gibt. so dass gf = id A und fg = id B. BEMERKUNG: g ist durch f eindeutig bestimmt und wird deshalb DAS Inverse von f genannt: g = f 1. Kompositionen und Inverse von Isomorphismen sind wieder Isomorphismen. A und B heißen isomorph (A = B), wenn es einen Isomorphismus f : A B gibt. A = B ist eine Äquivalenzrelation auf Ob K. Die Klasse aller Isomorphismen von K wird mit Iso(K) bezeichnet.

29 18 / 41 Isomorphismen DEFINITION: ISOMORPHISMUS In einer Kategorie K heißt der Morphismus f : A B ein Isomorphismus, wenn es ein g : B A gibt. so dass gf = id A und fg = id B. BEMERKUNG: g ist durch f eindeutig bestimmt und wird deshalb DAS Inverse von f genannt: g = f 1. Kompositionen und Inverse von Isomorphismen sind wieder Isomorphismen. A und B heißen isomorph (A = B), wenn es einen Isomorphismus f : A B gibt. A = B ist eine Äquivalenzrelation auf Ob K. Die Klasse aller Isomorphismen von K wird mit Iso(K) bezeichnet.

30 18 / 41 Isomorphismen DEFINITION: ISOMORPHISMUS In einer Kategorie K heißt der Morphismus f : A B ein Isomorphismus, wenn es ein g : B A gibt. so dass gf = id A und fg = id B. BEMERKUNG: g ist durch f eindeutig bestimmt und wird deshalb DAS Inverse von f genannt: g = f 1. Kompositionen und Inverse von Isomorphismen sind wieder Isomorphismen. A und B heißen isomorph (A = B), wenn es einen Isomorphismus f : A B gibt. A = B ist eine Äquivalenzrelation auf Ob K. Die Klasse aller Isomorphismen von K wird mit Iso(K) bezeichnet.

31 18 / 41 Isomorphismen DEFINITION: ISOMORPHISMUS In einer Kategorie K heißt der Morphismus f : A B ein Isomorphismus, wenn es ein g : B A gibt. so dass gf = id A und fg = id B. BEMERKUNG: g ist durch f eindeutig bestimmt und wird deshalb DAS Inverse von f genannt: g = f 1. Kompositionen und Inverse von Isomorphismen sind wieder Isomorphismen. A und B heißen isomorph (A = B), wenn es einen Isomorphismus f : A B gibt. A = B ist eine Äquivalenzrelation auf Ob K. Die Klasse aller Isomorphismen von K wird mit Iso(K) bezeichnet.

32 19 / 41 Unterkategorien DEFINITION: UNTERKATEGORIE U heißt Unterkategorie von K, kurz U K, wenn U aus Objekten, Morphismen und der Komposition von K besteht; U mit jedem Objekt A auch den identischen Morphismus id A von K enthält. Beispiel: Es sei f : A B ein Morphismus in K mit A = B. Dann sind A und B die Objekte, id A, id B und f die Morphismen einer Unterkategorie von K. Eine Unterkategorie heißt volle Unterkategorie, wenn für alle A, B Ob K alle Morphismen von K auch zu U gehören: A, B Ob K : U(A, B) = K(A, B)

33 Funktoren Es seien K und L Kategorien. Eine Abbildung F : K L heißt ein (kovarianter) Funktor, wenn folgende Bedingungen erfüllt sind: F(id A ) = id F (A) F(gf ) = F(g)F(f ), falls gf definiert ist. Eine Abbildung F : K L heißt ein kontravarianter Funktor, wenn folgende Bedingungen erfüllt sind: F(id A ) = id F (A) F(gf ) = F(f )F (g), falls gf definiert ist. Der kontravariante Funktor kehrt also nur die Pfeile um. Funktoren respektieren die Identität und die Komposition von Morphismen (folglich auch Isomorphismen: F (Iso(K) Iso(L))). 20 / 41

34 21 / 41 Beispiele für Funktoren identischer Funktor id Inklusion einer Unterkategorie U (von K) in K konstanter Funktor F : K L: Für alle A Ob K und alle Morphismen f von K setzt man F (A) = X und F (f ) = id X für ein beliebiges X Ob L. Vergiss-Funktor: V : K Set ordnet jedem Objekt (mit einer bestimmten Struktur) die zugrundeliegenden Menge und jedem Morphismus die zugrunde liegende Mengenabbildung zu. Es gibt auch Vergiss-Funktoren, die nur einen Teil der Struktur vergessen. Vektorraum in seinen Dualraum: kontravarianter Funktor, der jeden Vektorraum V Ob Vek K in seinen Dualraum V := {f : V K f linear} und jede lineare Abbildung α : V W, mit W Ob Vek K in ihre duale Abbildung α : W V mit α (f ) = f α überführt. Kompositionen von Funktoren

35 AUFGABE: Zeige, dass für jeden Funktor F : K L, F 1 (Ob L) := {u K F(u) Ob L} der sogenannte Kern von F eine Unterkategorie von K ist. 22 / 41

36 23 / 41 Komposition von Funktoren, Varianz Jeder Funktor F kann man seine Varianz v : F Z 2 = Z/2Z zuordnen: { 0, wenn F kovariant v(f) = 1, wenn F kontravariant SATZ 1: Sind F : K 0 K 1 und G : K 1 K 2 Funktoren, so ist G F ein Funktor der Varianz v(g F ) = v(g) + v(f).

37 Duale Kategorien Zu jeder Kategorie K existiert eine duale Kategorie K op : 1. Ob K = Ob K op 2. Für alle A, B Ob K op ist K op (A, B) = K(B, A) (Umkehrung aller Morphismen (Pfeile)) Für jede Kategorie hat man also den kontravarianten Funktor Op : K K op. Dabei gilt Op Op = id. Jeder kontravariante Funktor F : K op L kann dadurch auf einen kovarianten Funktor F : K L zurückgeführt werden: F = F Op. Der Begriff der dualen Kategorie erleichtert Beweise: Jeder Aussage entspricht eine duale Aussage durch Umkehren aller Pfeile (Dualisieren). Jeder Beweis für eine Aussage liefert durch Dualisieren einen Beweis für die duale Aussage. Beispiel: Iso(K op ) = Iso(K), der Begriff des Isomorphismus ist also selbstdual. 24 / 41

38 Hom-Funktoren Zwei spezielle Beispiele für Funktoren: Kovarianter Hom-Funktor: Sei K eine lokal kleine Kategorie. Für ein beliebiges A Ob K definiert man den kovarianten Hom-Funktor K(A, ) : K Set, indem man K (A, )(B) := K (A, B) für B Ob K setzt und für einen Morphismus f : B C die Mengenabbildung K(A, )(f ) := K (A, f ) : K(A, B) K(A, C) durch K(A, f )(u) : fu, u K(A, B) definiert. Kontravarianter Hom-Funktor: Sei K eine lokal kleine Kategorie. Für ein beliebiges A Ob K definiert man den kovarianten Hom-Funktor K(A, ) : K Set, indem man K (, A)(B) := K (B, A) für B Ob K setzt und für einen Morphismus f : B C die Mengenabbildung K(, A)(f ) := K (f, A) : K(B, A) K(C, A) durch K(f, A)(u) : uf, u K(C, A) definiert. Zu Hom-Funktoren isomorphe Funktoren nennt man auch darstellbar. 25 / 41

39 26 / 41 Natürliche Transformation DEFINITION: NATÜRLICHE TRANSFORMATION Seien F, G : K L Funktoren. Eine natürliche Transformation n : F G ordnet jedem Objekt A Ob K einen Morphismus n A : F(A) G(A) in L derart zu, dass für jeden Morphismus f : A B gilt G(f ) n A = n B F(f ). Äquivalent ist eine natürliche Transformation also auch eine Familie von Morphismen (n A ) A Ob K. F(A) n A G(A) F (f ) G(A) n B G(f ) G(B)

40 27 / 41 Natürliche Transformation Ist K leer, so gibt es nur den leeren Funktor und für diesen nur die triviale, leere natürliche Transformation. Auch eine Komposition von natürlichen Transformationen ist möglich. Zu jedem Funktor F existiert eine identische natürliche Transformation 1 F, die jedem Objekt A den Morphismus 1 F (A) zuordnet.

41 28 / 41 Beispiele für natürliche Transformationen identische natürliche Transformation id : F F Für Grp gibt es eine natürliche Transformation des identischen Funktors in den Funktor abelsch machen. Sie ordnet jeder Gruppe über die natürliche Projektion G G/K (G) ihre Faktorkommutatorgruppe zu, wobei K (G) = {a 1 b b ab a, b G} die Kommutatorgruppe von G ist. BEMERKUNG: Präzise zu formulieren, worin die Natürlichkeit etwa der Abbildung im letzten Beispiel besteht, war einer der Beweggründe zur Entwicklung der Begriffe Kategorie, Funktor und natürliche Transformation durch EILENBERG und MACLANE.

42 Zwei besondere Kategorien Die Komposition von natürlichen Transformationen führt auf LEMMA: FUNKTORKATEGORIEN Sei L eine kleine und K eine beliebige Kategorie. Die Funktoren K L sind die Objekte, ihre natürlichen Transformationen die Kompositionen der Funktorkategorie [K, L], wobei die Komposition die der natürlichen Transformationen ist. Die Komposition von Morphismen führt auf LEMMA: Die kleinen Kategorien bilden die Objekte, die Funktoren die Morphismen der Kategorie der kleinen Kategorien, kurz: Cat, wobei die Komposition die der Funktoren ist. BEMERKUNG: Sind K, L kleine Kategorien, so ist die Morphismenmenge Cat(K, L) gerade die Menge der Objekte für die Funktorkategorie [K, L]. 29 / 41

43 30 / 41 Diagramme In Kategorien werden Diagramme (wie Dreiecke oder Rechtecke) meist zur anschaulichen Beschreibung von Produkten benutzt, die kommutativ sind, d.h. wenn ausgehend von einer Ecke und endend bei einer anderen Ecke die auf zwei verschiedenen Wegen durchlaufenen Morphismen gleich sind. DEFINITION: DIAGRAMM Ein Diagramm in einer Kategorie K ist ein Funktor D : I K. Die Kategorie I wird das Diagrammschema von D genannt. Für A Ob K bildet das konstante Diagramm A I alle Objekte von I auf A und alle Morphismen von I auf id A ab. Ein Morphismus f : A B bewirkt eine natürliche Transformation f I : A I B I zwischen konstanten Diagrammen. BEMERKUNG: TERMINOLOGIE Ein Diagramm ist ein besonders wichtiger Funktor. Es bezeichne D i das Bild eines Objektes i unter D.

44 31 / 41 Diagramme DEFINITION: KOMMUTATIVES DIAGRAMM Ein Diagramm D : I K heißt kommutativ, wenn für alle A, B Ob I und alle f, g I(A, B) gilt D(f ) = D(g). BEMERKUNG: ALTERNATIVE DEFINITIONEN Wir fassen Diagramme hier als Funktoren und Diagrammschemata als Kategorien auf. Einige Autoren setzen Diagrammschemata jedoch mit Graphen gleich fordern also keine Identität und Komposition wodurch Diagramme auch keine Funktoren sind. Kommutative Diagramme lassen sich dann jedoch eindeutig zu Funktoren fortsetzen.

45 32 / 41 Untere Schranke und Infimum (Limes) DEFINITION: UNTERE SCHRANKE Eine untere Schranke A (in K) für das Diagramm D : I K ist eine natürliche Transformation s : A I D (d.h. eine Familie von Morphismen s i : A D i, i Ob I). A I (i) = A A I (g)=id A A I (j) = A s i s j D i D j D(g) Folglich gilt für jeden I-Morphismus i g j : s j = D(g) s i.

46 33 / 41 Untere Schranke und Infimum (Limes) DEFINITION: LIMES (INFIMUM) Ein Limes (auch Infimum genannt) L (in K) für das Diagramm D : I K ist eine natürliche Transformation λ : L I D mit der (universellen) Eigenschaft: Zu beliebiger unterer Schranke s : A I D gibt es genau eine natürliche Transformation f I mit s = λ f I. λ L I D bzw. i Ob I : L D i!f I!f s s i A I A λ i

47 34 / 41 Obere Schranke und Supremum (Colimes) DEFINITION: OBERE SCHRANKE Eine obere Schranke A (in K) für das Diagramm D : I K ist eine natürliche Transformation s : D A I (d.h. eine Familie von Morphismen s i : D i A, i Ob I). D(g) s i D i A I (i) = A A I (g)=id A D j s j A I (j) = A Folglich gilt für jeden I-Morphismus i g j : s i = s j D(g).

48 35 / 41 Obere Schranke und Supremum (Colimes) DEFINITION: COLIMES (SUPREMUM) Ein Colimes (auch Supremum genannt) L (in K) für das Diagramm D : I K ist eine natürliche Transformation λ : D L I mit der (universellen) Eigenschaft: Zu beliebiger oberer Schranke s : D A I gibt es genau eine natürliche Transformation f I mit s = f I λ. λ λ i D L I bzw. i Ob I : D i!f s I s i A I L A!f

49 36 / 41 Begriffsdeutung Die Begriffe untere Schranke und obere Schranke sowie Infimum und Supremum in Kategorien sind konsequent, wenn man Kategorien als verallgemeinerte partiell geordnete Klassen ansieht und einen Morphismus A B als A B liest.

50 37 / 41 Eindeutigkeit des Limes LEMMA: EINDEUTIGKEIT DES LIMES Besitzt D : I K einen Limes (L, λ), so ist L durch D (bis auf Isomorphie) eindeutig bestimmt. Analog gilt die Eindeutigkeit für den Colimes.

51 38 / 41 Das kategorielle Produkt Können nun ein allgemeines (direktes) Produkt für mathematische Theorien definieren: LEMMA: PRODUKT Es sei (A i ) i Ob I eine Familie von K-Objekten. Ein Produkt dieser Familie ist ein K-Objekt X = i Ob I A i mit Morphismen π i : X A i, so dass gilt: Ist (s i : Y A i ) i Ob I gegeben, so gibt es genau einen Morphismus f : Y X mit s i = π i f für alle i Ob I. Man nennt π i die i-te Projektion des Produktes. π i X A i!f s i Y

52 39 / 41 Das kategorielle Produkt LEMMA: PRODUKT Es sei (A i ) i Ob I eine Familie von K-Objekten. Ein Produkt dieser Familie ist ein K-Objekt X = i Ob I A i mit Morphismen π i : X A i, so dass gilt: Ist (s i : Y A i ) i Ob I gegeben, so gibt es genau einen Morphismus f : Y X mit s i = π i f für alle i Ob I. Man nennt π i die i-te Projektion des Produktes. Beweis: Können das Produkt als Limes auffassen: Wählen für I die diskrete Kategorie und D i := A i. Die natürliche Transformation λ erhält man durch λ i := π i und L := X. Die Eindeutigkeit des Produkts ergibt sich aus der Eindeutigkeit des Limes.

53 40 / 41 Das kategorielle Produkt BEMERKUNG: Die Existenz eines Produkts in einer Kategorie K setzt also die Existenz eines Limes in K voraus, was aber nicht für jedes Diagramm der Fall sein muss. Kategorien, in denen jedes Diagramm einen Limes besitzt heißen vollständig. Zu ihnen gehören: Set, Vek, Vek K, Grp, Top, Cat.

54 41 / 41 Empfehlenswerte Literatur Adámek, Herrlich, Strecker: The Joy of Cats. (Online verfügbar!)