Eine Einladung in die Kategorietheorie

Christian Zipfel
12. November 2014

Zusammenfassung
Das Ziel dieses Artikels ist, eine kleine Einf
uhrung in die Kategorientheorie zu
geben. Die Hoffnung ist, dass der Leser animiert wird, die richtige Literatur aus
dem Literaturverzeichnis zu konsultieren, um in die Materie einzusteigen. Es werden
kaum S
atze gebracht oder gar bewiesen.

Definition und erste Beispiele

1.1

(,(,)) = ((,),)

Kategorien werden als Mengen ohne Elemente oder als verallgemeinerter Funktionenkalk
ul motiviert. Mir hat die Vorstellung geholfen, die Pfeile als ein Mittel zu sehen,
Assoziativitat zu formulieren und Kategorien als Assoziativstrukturen zu sehen. Der
Titel dieses Abschnitts soll Assoziativitat das beliebige Gruppieren darstellen. Andere
Darstellung ist:
?
?





Die binaren Baume suggerieren aber Kommutativitat, welche nicht impliziert sein soll.
Die Knoten bekommen also eine Richtung hier mit L und R bezeichnet:
L?R

L?R
LR

LR

LR

LR

LR

LR

LR

LR

Wenn wir von Assoziativitat sprechen, wollen wir nicht voraussetzen, dass alle Knoten
verkn
upft werden konnen. Die Knoten m
ussen eine weitere Struktur erhalten, welche
die Moglichkeit geben u
upfungen zu entscheiden. Die Knoten bekommen also
ber Verkn
Quellen und Senken, oder die Knoten bekommen einen Eingangstyp und einen Ausgangstyp. Die Knoten konnen verkn
upft werden, wenn entsprechend Senke und Quelle

https://www.dropbox.com/sh/f06h13nnhqe5szg/AACJJq7AQcWgJCF2IlF2T7OMa?dl=0
Christian Zipfel@gmx.de

u
bereinstimmen (oder wenn die Typen u
bereinstimmen). Und der Ergebnistyp ist so berechnet wie in den Programmiersprachen: Quelle des Ergebnisses ist gleich der Quelle
des ersten (linken) Faktors und Senke des Ergebnisses ist gleich der Senke des zweiten
(rechten) Faktors. In unserem Beispiel nahmen wir an mit vier Typen a, b, c, d zu arbeiten:
aL ? dR

aL ? dR
bL  dR

aL bR

bL cR

aL  cR

cL  dR

aL bR

bL cR

cL  dR

Dieses Bild wird wesentlich vereinfacht, wenn wir die Knoten zu Pfeilen wandeln und die
Verkn
upfung als Zusammenf
uhrung von Pfeilen sehen:
?

/c
b

/c

%/

/b

/% c

/d

In der Kategoriensprache werden die Quellen und Senken Objekte (manchmal auch Typen) genannt.

1.2

Definition

Definition 1.1. Eine Kategorie C ist festgelegt durch:

1. eine Klasse von Objekten C0
2. zu je 2 Objekten X, Y eine Menge von Morphismen oder Pfeilen HomC (X, Y )
3. zu jedem Pfeil f aus HomC (X, Y ) eine Zuordnung dom(f ) = X und codom(f ) = Y
4. zu jedem Objekt X einen Identitatsmorphismus IdX aus HomC (X, X)
5. f
ur je 3 Objekte X, Y, Z eine Verkn
upfungsabbildung f
ur Morphismen
HomC (X, Y ) HomC (Y, Z) HomC (X, Z)
(f, g) 7 g f
Dabei fordern wir die Erf
ullung folgender Bedingungen.
1. Die Verkn
upfung der Morphismen oder Pfeile ist assoziativ.
2. Die Mengen der Pfeile HomC (X, Y ) sind f
ur verschiedene Objekte X, Y disjunkt.
3. F
ur die Identitatsmorphismen eines jeden Objektes X gilt
f
ur jedes f mit codom(f ) = X : IdX f = f
f
ur jedes g mit dom(g) = X : g IdX = g

KategorienEinfach.tex

2014-11-12;15:36

Jeder Pfeil f hat genau ein Objekt als Quelle dom(f ) und ein Objekt als Senke
codom(f ).
Man kann immer einen Pfeil f mit Senke A und einen Pfeil g mit Quelle A zu einem
neuen Pfeil g f verkn
upfen. Es gilt dom(g f ) ist gleich dom(f ) und codom(g f ) ist
gleich codom(g).
Alle Pfeile zwischen 2 Objekten A und B der Kategorie C werden auch mit C(A, B) oder
Hom(A, B) (falls die Kategorie klar ist) bezeichnet und hom-Sets genannt.
Die Klasse aller Pfeile einer Kategorie C wird mit C1 bezeichnet.

1.3

Beispiele von Kategorien

Beispiel 1.2. Zu jeder nat

urlichen Zahl gibt es eine endliche Kategorie:
0 leere Kategorie ohne Objekte und Pfeile
1
2
3
In der Liste sind die Objekte der Kategorien nicht benannt und die den Objekten
zugeordneten Identitatspfeile nicht eingezeichnet. Im Graphen der Kategorie 3 fehlt auch
der eine erforderliche Ergebnispfeil.
Zu der endlichen Kategorie 2 mit 2 Objekten gibt es noch folgende naheliegende Beispiele
von Kategorien mit 2 Objekten:
keine Pfeile:
2 Pfeile: 
2 Pfeile:
In dem zweiten Fall ist implizit verstanden, dass die Verkn
upfungen der 2 eingezeichneten
Pfeile jeweils Id ergeben.
Beispiel 1.3. Die Mutter aller Kategoriebeispiele ist die Kategorie der Mengen Set,
welche als Objekte alle Mengen hat und als Pfeile die Mengenabbildungen mit der Hintereinanderausf
uhrung der Abbildungen als Verkn
upfung.
Zu 2 Mengen A, B kann HomSet (A, B) mit der Menge
Y
[
BA =
B = {f : A
B|f (a) B}
aA

aA

identifiziert werden.
Beispiel 1.4. Eine Menge M mit einer Halbordnung (poset auf englisch) kann ebenfalls
als eine Kategorie aufgefasst werden. Die Elemente der Menge werden als Objekte der Kategorie M betrachtet und zu 2 Objekten A, B dieser Kategorie gibt es genau dann einen
Pfeil in HomM (A, B), falls A B in der Halbordnung auf M gilt. Die Transitivitat der
Halbordnung garantiert, dass die Pfeile in der Kategorie verkn
upft werden konnen und die
Assoziativitat gilt, weil die Mengen HomM (A, B) aus hochstens einem Element bestehen.

KategorienEinfach.tex

2014-11-12;15:36

Beispiel 1.5. Ein wichtiges Beispiel einer Kategorie ist ein Monoid M : eine Menge mit
einer assoziativen Verkn
upfung und einem Einselement. Die Kategorie M, welche die
Monoidstruktur wiedergibt, hat genau ein Objekt (ahnlich der Kategorie 1) und jedes
Element m M entspricht eineindeutig einem Pfeil aus HomM (, ). Die Verkn
upfung
der Pfeile entspricht der Verkn
upfung in dem Monoid M .
Beispiel 1.6. Ein gerichteter Graph ist eine Menge von Ecken E und eine Menge von
gerichteten Kanten K zwischen diesen Ecken.
Die Beziehung zwischen Ecken und Kanten formuliert man u
ber 2 Abbildungen: Quelle
und Senke :
:KE
: K E.
Wir stellen keine weiteren Forderungen an und , also Mehrfachkanten oder Schleifen
sind erlaubt.
Falls alle Objekte und alle Pfeile einer Kategorie jeweils Mengen sind, dann ist die Kategorie ein gerichteter Graph.
Man kann jedem gerichteten Graphen (E, K, , ) eine Kategorie zuordnen, die sg. freie
Kategorie. Um die Pfeile der freien Kategorie zu beschreiben, brauchen wir den Begriff
eines endlichen Pfades in einem gerichteten Graphen. Ein Pfad pf der Lange l N in
einem gerichteten Graphen, ist eine linear geordnete Liste von l Kanten (mit Wiederholungen) des gerichteten Graphen pf = e1 , ..., el so, dass die Senke jeder Kante aus pf
gleich der Quelle der ihr folgenden Kante in pf ist. Die Pfade der Lange 1 sind genau die
Kanten des gerichteten Graphen. Die einem gerichteten Graphen (E, K, , ) zugeordnete
freie Kategorie besteht aus:
der Menge der Ecken E als Objekte
der Vereinigung folgender Mengen als Pfeile:
jeder Ecke e E ein zugeordneter Pfad ide
der Menge aller endlichen Pfaden in dem gerichteten Graphen
Zwei endliche Pfade in einem gerichteten Graphen konnen da aneinander gekettet werden, wo die Quelle und Senke der Pfade dieselbe Ecke sind. Man definiert weiter f
ur ide
die Aneinaderkettung so, dass die Identitatsmorphismen der Kategorie erf
ullt sind. Die
Verkn
upfung der Pfeile in der Kategorie, wird u
ber dieses (erweiterte) Aneinanderketten
der Pfade definiert. Man u
berlegt sich, dass
das Aneinanderketten von Pfaden wieder einen Pfad ergibt
die Verkn
upfung assoziativ ist
Die so definierte Kategorie, heisst die dem gerichteten Graphen zugeordnete freie Kategorie.

KategorienEinfach.tex

2014-11-12;15:36

Die Beispiele 1.4 und 1.5 sind in gewissem Sinne Extremfalle. In dem Fall einer Halbordnung sind alle hom-Sets Einelementig. Im Falle des Monoids gibt es nur einen hom-Set,
alle Pfeile der Kategorie sind Elemente von HomM (, ).
In jeder Kategorie ist f
ur jedes Objekt A die Menge Hom(A, A) mit der Pfeilverkn
upfung
ein Monoid.
Weitere Beispiele von Kategorien sind Mengen mit Struktur und strukturerhaltenden
Abbildungen:
Gruppen mit Gruppenhomomorphismen
topologische Raume mit den stetigen Abbildungen
Graphen mit Graphenhomomorphismen
Vektorraume mit linearen Abbildungen . . .

Konstruktionen in Kategorien

2.1

Diagramme

Das Beispiel des Monoids als Kategorie deutet an, dass in der Kategorietheorie die homsets, die Mengen der Pfeile zwischen den Objekten, grossere Rolle spielen als die Objekte.
Man arbeitet in den Kategorien, in dem man die Gleichheit zwischen den Pfeilen nachpr
uft. Das formuliert man mit sg. kommutativen Diagrammen. Seien X, Y, Z Objekte
und f, g, h Pfeile einer Kategorie. Das Diagramm
f

Y


Z
kommutiert, genau dann wenn in Hom(X, Z) die Pfeile h und g f identisch sind. Das
Nachpr
ufen der Gleichheit in Pfeildiagrammen wird haufig diagram chasing genannt.
In der klassischen homologischen Algebra benutzte man diesen Begriff, wenn Elemente
von Gruppen in Diagrammen von Homomorphismen in Kernen und Bildern der Homomorphismen verfolgt wurden.

2.2

Aus der Mengenlehre

Die Definitionen und Konzepte in der Kategorientheorie sind sehr haufig abgeleitet von
Begriffen aus klassischen Strukturen. Dabei werden die bekannten Eigenschaften in die
Sprache der Pfeile und Diagramme umformuliert. Diese Transformation wird Kategorifizierung genannt. Einige Beispiele daf
ur sind die folgenden Definitionen, die durch die
Mengenlehre motiviert sind.
Definition 2.1. Die Pfeile einer Kategorie konnen folgende Eigenschaften haben:
1. epi Pfeil: es ist ein Pfeil f : A B mit der Eigenschaft, dass f
ur jedes Objekt C
und beliebige g, h Hom(B, C) aus gf = hf schon g = h folgt.
KategorienEinfach.tex

2014-11-12;15:36

2. mono Pfeil: es ist ein Pfeil f : A B mit der Eigenschaft, dass f

ur jedes Objekt
C und beliebige g, h Hom(C, A) aus f g = f h schon g = h folgt.
3. Retraktion: ist ein Pfeil f : A B zu dem es einen rechtsinversen Pfeil gibt
g Hom(B, A) mit f g = IdB
4. Schnitt: ist ein Pfeil f : A B zu dem es einen linksinversen Pfeil gibt g
Hom(B, A) mit gf = IdA .
5. iso Pfeil: es ist ein Pfeil f : A B zu dem es einen inversen Pfeil g Hom(B, A)
gibt mit gf = IdA und f g = IdB
Eine Retraktion ist eine epi Pfeil und wird auch split epi Pfeil genannt. Ein Schnitt
ist ein mono Pfeil und wird auch split mono Pfeil genannt. Ein iso Pfeil f kann genau
einen inversen Pfeil haben, der dann auch f 1 geschrieben wird.
Es gibt auch besondere Objektdefinitionen.
Definition 2.2. Zwei Objekte A, B heien isomorph, falls es einen iso-Pfeil in Hom(A, B)
gibt.
Definition 2.3. Ein Objekt X einer Kategorie heit
1. terminal (1), falls es zu jedem Objekt Y genau ein f Hom(Y, X) gibt
2. initial (), falls es zu jedem Objekt Y genau ein f Hom(X, Y ) gibt
3. zero Objekt (0), falls das Objekt X initial und terminal ist
In der Kategorie aller Gruppen ist die Gruppe mit nur dem neutralen Element das
zero Objekt.
Die leere Menge ist das initiale Objekt und jede einelementige Menge ist ein terminales
Objekt in der Kategorie Set. Das terminale Objekt ist in der Mengenkategorie also nicht
eindeutig, aber alle terminalen Objekte in Set sind isomorph. Die Isomorphie-Eigenschaft
der terminalen Objekte ist nicht auf die Mengenkategorie beschrankt.
Falls A terminal in C ist, hat insbesondere HomC (A, A) nur ein Element, namlich IdA . F
ur
ein weiteres terminales Objekt B C und f : A B, g : B A gilt: gf HomC (A, A)
und f g HomC (B, B). Also ist f g = IdB und gf = IdA .
Eindeutigkeit der Objekte bis auf Isomorphie ist eine Situation, die in der Kategorietheorie standig wiederkehrt. Der Grund ist: die Pfeile konnen nicht unter isomorphen
Objekten unterscheiden.
Definition 2.4. Eine Kategorie D heit Subkategorie der Kategorie C, falls folgendes
gilt:
1. alle Objekte und Pfeile von D sind auch Objekte respektive Pfeile von C
2. f
ur jeden Pfeil in D sind die Quellen und Senken aller Pfeile gleich den Quellen und
Senken in C
KategorienEinfach.tex

2014-11-12;15:36

3. die Identitatspfeile in D vererben sich von C

4. die Verkn
upfung der Pfeile in D vererbt sich von C
Definition 2.5. Eine Subkategorie D der Kategorie C heit volle Subkategorie, falls
f
ur alle Objekte A, B aus D gilt: HomD (A, B) = HomC (A, B).
Die Kategorie FinSet der endlichen Mengen mit den (endlichen) Mengenabbildungen
ist eine volle Subkategorie der Kategorie aller Mengen Set.
Definition 2.6. Zu 2 Kategorien C, D wird die Produktkategorie CD folgendermaen
definiert:
die Objekte von C D sind geordnete paare (C, D), wobei C ein Objekt aus C ist
und D ein Objekt aus D ist;
ein Pfeil aus C D ist ein geordnetes Paar von Pfeilen aus C und D: (f, g) : (C, D)
(C 0 , D0 ) mit f : C C 0 und g : D D0
die Identitatspfeile werden komponentenweise definiert: (IdC , IdD ) : (C, D)
(C, D)
die Pfeilverkn
upfung wird ebenfalls komponentenweise definiert
Folgende Definition ist die Kategorifizierung des Begriffes eines Elementes aus der
Mengenlehre.
Definition 2.7. Sei 1 ein terminales Objekt und X ein Objekt in der Kategorie C. Die
Pfeile aus HomC (1, X) heien globale Elemente von X (oder Konstanten vom Typ X).
In dem Fall der Kategorie Set gibt es in der Tat eine Bijektion zwischen den Elementen
einer Menge M und allen Abbildung aus einer einelementigen Menge ? in die Menge M .

Die Kategorifizierung des Begriffes Teilmenge oder Subobjekt wird u

ber Aquiavlenzen
von mono Pfeilen definiert. In [4, Ab. 3.3, S.19] oder [2, Ab. 5.1] wird Subobjekt in einer
Kategorie definiert.

2.3

Kategorielle Konstruktionen

Folgende Definitionen und Sachverhalte sind nicht durch Kategorifizierung bekannter

Begriffe entstanden.
2.3.1

Pfeile umdrehen

Jede Kategorie C hat eine duale Kategorie C op . Die Objekte in C op sind identisch mit den
Objekten in C. Jeder Pfeil f C wird auf einen Pfeil f op abgebildet mit domf op = codomf
und codomf op = domf . Die Quellen und Senken der Pfeile in sind also vertauscht. Oder
kurz: die Pfeile werden umgedreht. Die Pfeilevekn
upfung in C op ist durch g op op f op =
(f g)op definiert.
Sehr haufig werden auch Pfeile in Diagrammen umgedreht, ohne dass die duale Kategorie betrachtet wird. Man erhalt so duale Aussagen oder duale Definitionen. Im Fall
von dualen Definitionen, bekommen die dualen Begriffe meistens den Prafix co-.
KategorienEinfach.tex

2014-11-12;15:36

2.3.2

Slice Category, Kategorie der Objekte unter einem Objekt A

Definition 2.8. Sei A ein Objekt der Kategorie C. Die slice category (A C) hat als
Objekte alle Pfeile f C1 mit domf = A. Die Pfeile in (A C) zu zwei Objekten f1 , f2
aus (A C) sind Pfeile g aus C1 , welche das folgende Diagramm kommutativ machen:
A
f2

f1


/?

In der Slice-Kategorie gilt dom(g) = f1 und codom(g) = f2 . Die Verkn

upfung solcher Pfeile wird in der Kategorie C durchgef
uhrt. Man rechnet nach, dass das Ergebnis
wieder ein Pfeil aus der Slice-Kategorie ist. Um die Definition zu rechtfertigen, sind die
definierenden Axiome einer Kategorie hier nachzurechnen.
2.3.3

Funktoren

Funktoren sind strukturerhaltende Abbildungen zwischen Kategorien.

Definition 2.9. Ein Funktor F zwischen zwei Kategorien C und D ist
eine Zuordnung der Objekte C0 zu D0
eine Zuordnung der Pfeile C1 zu D1
und zwar so, dass folgende Bedingungen erf
ullt sind:
1. f
ur jedes Objekt A C0 : F (IdA ) = IdF A
2. f
ur zwei Pfeile f, g C1 mit codomf = domg gilt: F (g f ) = F (g) F (f )
Funktoren werden auch kovariante Funktoren genannt.
Beispiel 2.10. Seien M, N Mengen und f : M N eine Abbildung. Wir ordnen der
Menge M ihre Potenzmenge PM zu und der Abbildung f die Abbildung Pf : PM
PN , welche der Teilmenge X M die Menge f (X) N zuordnet. Ich behaupte, so
einen (kovarianten) Funktor Set Set definiert zu haben.
Definition 2.11. Ein Funktor F : C op D wird kontravarianter Funktor von C nach
D genannt.
Ein kontravarianter Funktor, als Zuordnung C D betrachtet, dreht die Richtung
der Pfeile um. F
ur einen kontravarianten Funktor F gilt: F (g f ) = F (f ) F (g).
Beispiel 2.12. Seien M, N Mengen und f : M N eine Abbildung. Wir ordnen der
Menge M ihre Potenzmenge PM zu und der Abbildung f die Abbildung Pf : PN
PM , welche der Teilmenge Y N die Menge f 1 (Y ) M zuordnet. Ich behaupte, so
einen kontrvarianten Funktor Set Set definiert zu haben.

KategorienEinfach.tex

2014-11-12;15:36

Sei f g = Id . F
ur jeden Funktor gilt dann F (f g) = F (f )F (g) = IdF . Das heit
aber, dass ein Funktor split epi, split mono und iso Eigenschaften eines Pfeiles erhalt.
Ein einfaches Beispiel eines Funktors, ist der Funktor F : C 1, welcher alle Objekte
von C0 auf das eine Objekt ? 1 abbildet und alle Pfeile aus C1 auf den Identitatspfeil
in 1.
Wichtige Beispiele von Funktoren sind Vergissfunktoren. Dabei werden Kategorien, deren Objekte Mengen sind mit einer weitere Struktur (z.B. Gruppen, topologische Raume),
in die Kategorie Set abgebildet. Die Objekte werden auf die zugrundeliegenden Mengen
abgebildet und die strukturerhaltenden Morphismen werden auf die Mengenabbildungen
abgebildet. Die zusatzliche Struktur wird ignoriert.
2.3.4

Kategorie der Kategorien

Funktoren lassen sich hintereinanderausf

uhren und diese Verkn
upfung der Funktoren ist
auch assoziativ. Es gibt auch den Identitatsfunktor zu jeder Kategorie, welches die Bedingung f
ur einen Id Pfeil entspricht. Die Kategorien und (kovariante) Funktoren bilden
also selbst eine Kategorie.

2.4

Universal Mapping Property

Viele Definitionen in der Kategorietheorie werden u

ber so genannte universelle Eigenschaften formuliert. Man formuliert eine Art von Aufgabe und sucht deren beste Losung
- das ist die zu definierende Grosse. Die Definition u
ber universelle Eigenschaften sichern
keine Existenz einer Losung zu. Die Formulierung zieht aber die Eindeutigkeit der Losung
nach sich. Zunachst einige Beispiele. Im Folgenden sei C eine Kategorie und A, B seien
Objekte aus C.
2.4.1

Produkt

Die Aufgabe f
ur das Produkt ist es, die beste Losung X f
ur das folgende Diagramm zu
finden:
g
f
/B
Ao
X
(1)
Definition 2.13. Das Produkt der Objekte A, B ist:
ein Objekt P aus C
Pfeile pA : P A und pB : P B
mit der (universellen) Eigenschaft, dass es f
ur jede Losung (X, f, g) von 1 genau einen
Pfeil r : X P mit f = pA r und g = pB r gibt.
Als Diagramm sieht das so aus:
X
f

Ao

~
pA

pB

Das Produkt-Objekt zu A, B wird mit A B bezeichnet.

KategorienEinfach.tex

2014-11-12;15:36

2.4.2

Pullback

Sei C ein Objekt der Kategorie C und f : A C, g : B C zwei Pfeile:

A
B

Die Aufgabe f
ur den pullback, ist es die beste Losung X f
ur das folgende kommutative
Diagramm zu finden:
xA
/A
X
(2)
xB

Definition 2.14. Das Pullback von (A, B, C, f, g) ist:

ein Objekt P aus C
und zwei Pfeile pA : P A und pB : P B
die folgendes Diagramm kommutativ machen:
pA

P
pB

A


(P, pA , pB ) haben die (universelle) Eigenschaft, dass jede weitere Losung X der Aufgabe
2, u
ber P eindeutig faktorisiert.
Als Diagramm formuliert: es gibt einen eindeutigen Pfeil u : X P , so dass das
Diagramm:
X
xA

xB

 

pA

/A

pB

kommutiert. Das pullback-Objekt zu (A, B, C, f, g) wird mit A C B bezeichnet.

2.4.3

Differenzkern

Differenzkern (equaliser auf englisch) ist die universelle Losung folgender Aufgabe: zu
zwei Objekten A, B und zwei Pfeilen f, g Hom(A, B) ist die beste Losung X f
ur das
folgende kommutative Diagramm zu finden:
X

A
g

KategorienEinfach.tex

10

5B

(3)

2014-11-12;15:36

Definition 2.15. Der Differenzkern ist ein Objekt E und ein Pfeil eq Hom(E, A), so
dass zu jedem Objekt X und einen Pfeil x Hom(X, A) mit f x = g x ein eindeutiger
Pfeil u Hom(X, E) existiert, welcher das folgende Diagramm kommutativ macht:
EO
u

eq

>A

5B

X
Der Satz 5.5 in [2] sagt aus, dass der Differenzkern eines Produktes genau einem pullback in einer Kategorie entspricht.
Falls die Kategorie C ein zero Objekt 0 hat, gibt es zu jedem paar von Objekten X, Y
einen eindeutigen sg. zero Pfeil: 0XY = X 0 Y . Zu einem Pfeil f : X Y wird der
Differenzkern von f und 0XY der kern-Pfeil von f genannt.

3
3.1

Natu
rliche Transformationen
Motivation

Nat
urliche Transformation ist der Begriff, der die Kategorientheorie entstehen lie [9,
p. 123]. Die Definition war f
ur mich etwas befremdlich auf den ersten Blick. Folgende
Motivation macht aber klar, warum diese Definition richtig (sein kann) ist. Soweit ich
weiss, ist diese Motivation nicht die urspr
ungliche Idee von Eilenberg/MacLane gewesen.
Es war vielmehr der Wunsch den Unterschied zwischen der Isomorphie eines endlichdimensionalen Vektorraumes zu seinem dualen und dem bidualen zu verstehen.
Nat
urliche Transformationen lassen uns Funktoren, als Objekte einer neuen Kategorie zu
behandeln. Nat
urliche Transformationen sind die Pfeile zwischen Funktoren, f
ur welche
wir die Kategorieaxiome nachpr
ufen werden.
Zu zwei Kategorien C und D bezeichnen wir die zu findende Funktorkategorie mit [C, D].
Als Anleitung f
ur die Definition betrachten wir die analoge Situation in der Kategorie Set.
Zu zwei Mengen X < Y bilden alle Funktionen zwischen diesen Mengen HomSet (X, Y )
wieder eine Menge. Diese wird mit Y X bezeichnet. Es gibt eine Bijektion
HomSet (Z X, Y )
= HomSet (Z, Y X )
zwischen den zwei Funktionenmengen. Genauer: einer Funktion f : Z X Y entspricht die Funktion f : Z Y X mit f(z) := f (z, ) Das nennt man currying. Wir
interpretieren diese Bijektion kategoriell. Mengen werden zu Kategorien und Funktionen
werden zu Funktoren:
F :E C D
= Fe : E [C, D]
Auf der linken Seite haben wir eine bekannte Situation mit einer Produktkategorie und
einem Funktor. Auf der rechten Seite ist der Wertebereich unsere unbekannte Kategorie.
Die Erwartung, dass auch im Fall der Kategorien eine Bijektion besteht, wird einen
Hinweis geben, wie unsere gesuchten Pfeile in [C, D] zu definieren sind.
KategorienEinfach.tex

11

2014-11-12;15:36

Seien E, E 0 Objekte aus E und C, C 0 Objekte aus C mit Pfeilen e : E E 0 und c : C C 0 .

In der Produktkategorie kommutiert das Diagramm:
(e,IdC )

(E, C)
(IdE ,c)

(E, C 0 )

(E 0 , C)

(IdE 0 ,c)

(E 0 , C 0 )

(e,IdC 0 )

Der Funktor F ordnet einem Parchen von Objekten (E, C) aus E C ein Objekt D aus D
zu. Weiter ordnet F einem Parchen von Pfeilen (e, c) mit e : E E 0 und c : C C 0 einen
Pfeil d : D D0 zu. Dabei werden die Diagramme erhalten, insbesondere ist folgendes
Diagramm in D kommutativ:
F (e,IdC )

F (E, C)
F (IdE ,c)

F (E, C 0 )

F (e,IdC 0 )

F (E 0 , C)

(4)

F (IdE 0 ,c)

F (E 0 , C 0 )

Der Funktor Fe ordnet einem Objekt E aus E einen Funktor G : C D. Wie wirkt G
auf Objekte C, C 0 und einen Pfeil c : C C 0 ? Unsere Forderung nach der Bijektion legt
folgende Definition nahe: G(C) := F (E, C) und G(c) := F (IdE , c). Definiert dies in der
Tat einen Funktor? Identitaten, Komposition sind nachzupr
ufen. Diese sind aber erf
ullt,
da die Produktkategorie E C so definiert ist, dass der Funktor F in jeder Komponente
auch die Funktorbedingungen erf
ullt.
e
Nun erwarten wir, dass auch F ein Funktor wird. Ein Pfeil e : E E 0 soll auf einen Pfeil
zwischen Funktoren G, G0 : C D abgebildet werden. Wie ist dieser Pfeil zwischen den
Funktoren also zu definieren?
Dazu schauen wir uns noch mal das Diagramm 4 an. Die Pfeile in den Spalten dieses Diagramms entsprechen den (punktweise) Bildern in D der Funktoren G, G0 . Wir konnen
eine Hypothese f
ur unsere gesuchte Definition aus den Zeilen ablesen. Den Pfeil zwischen
den Funktoren G, G0 definieren wir folgendermassen: f
ur jedes Objekt C C wahlen wir
einen Pfeil dC D so, dass das Diagramm
G(C)
G(c)

dC

G(C 0 )

dC 0

/ G0 (C)

G0 (c)

G0 (C 0 )

kommutiert. In unserem Fall ist die Wahl: dC := F (e, IdC ).

3.2

Definition

Nach der Uberlegung

definieren wir f
ur 2 Funktoren, was eine nat
urliche Transformation
zwischen diesen zwei Funktoren sein soll.

KategorienEinfach.tex

12

2014-11-12;15:36

Definition 3.1. Seien F : C D, G : C D zwei Funktoren.

Eine natu
rliche Transformation : F G ist eine Zuordnung eines Pfeils dC D1
zu jedem Objekt C C0 , so dass
1. dC HomD (F (C), G(C))
2. folgendes Diagramm f
ur jeden Pfeil c : C C 0 kommutiert:
C
c

C0

F (C)
F (c)

dC

F (C 0 )

dC 0

G(C)


G(c)

G(C 0 )

Die Pfeile dC heissen Komponenten der nat

urlichen Transformation und werden mit
C bezeichnet.

3.3

Funktorkategorie

Seien C und D Kategorien und F : C D ein Funktor. Man kann jetzt folgende Behauptungen nachpr
ufen:
Die Wahl des Pfeiles IdF C D f
ur jedes Objekt C C ergibt eine nat
urliche
Transformation F F . Und zwar ist es die Identitat f
ur den Funktor F : C D.
Nat
urliche Transformationen lassen sich verkn
upfen (oder hintereinander ausf
uhren).
Genauer: f
ur Funktoren F, G, H : C D und nat
urliche Transformationen : F
G und : G H definiert man f
ur jedes Objekt C C: ( )C := C D C . und
die Komponenten ( )C ergeben eine nat
urliche Transformation : F H.
Die Verkn
upfung von nat
urlichen Transformationen ist assoziativ.
Die Beweise werden punktweise f
ur jedes Objekt (oder jede Komponente der nat
urlichen
Transformation) nachgerechnet. F
ur die einzelnen Komponenten der nat
urlichen Transformationen sind die Aussagen aber genau die Eigenschaften der Kategorie C.
Zusammenfassend haben wir also zu 2 Kategorien C, D eine neue Kategorie [C, D] konstruiert: die Objekte sind Funktoren und die Pfeile sind nat
urliche Transformationen.
Diese Kategorie heisst Funktorkategorie.

Literaturhinweise

Der Klassiker von MacLane [9] ist anfanglich schwere Kost f

ur mich gewesen. Jetzt ist es
immer eine Referenz f
ur alle meine Fragen zu Kategorien.
Meinen Durchbruch mit dem Verstandnis von Kategorien hatte ich mit dem Buch von
Awodey [2]. Die Onlineressource [11] ist mein nachster Schritt gewesen auf dem Weg
Kategorien zu verstehen. Diese Vorlesung ist zwar an Informatiker oder Logiker gerichtet
gewesen, aber die Kategorietheorie ist davon unabhangig.
KategorienEinfach.tex

13

2014-11-12;15:36

Die 4 Vorlesungen von Awodey [3] sind f

ur mich eine Wiederholung der Einf
uhrung gewesen, die nat
urlich neue Einsichten brachte. In den online Vortragen der Catsters [15]
werden viele Konstruktionen aus der Kategorietheorie vorgerechnet. Das ist immer sehr
klar, kurz und technisch.
Eine weitere, neuere Einf
uhrung, die ich erst vor kurzem kennengelernt habe, ist Simmons Buch [14]. Dieses Lehrbuch bringt nicht so viele Beispiele aus anderen Gebieten,
es ist also reine Kategorietheorie. Es ist sehr klar und leicht geschrieben und hat sehr

viele Ubungsaufgaben.
Das Buch von Lawvere [8] hat mich zunachst nicht sehr angesprochen. Es ist kein Lehrbuch der Kategorientheorie (z.B. werden die nat
urlichen Transformationen nicht definiert). Es f
uhrt ein in die Pfeile-Denkweise. Inzwischen finde ich es, als eine grossartige
Erganzung mit vielen schonen Beispielen.
Das Buch von Lawvere u. Rosebrugh [7] ist meine Empfehlung, als das Begleitbuch zu
den Lehrb
uchern. Es wird nicht nur eine Br
ucke zu der Mengenlehre geschlagen. Es zeigt,
wie Kategorietheorie als Grundlage zu verstehen ist. Die Anhange A. und B. geben die
weitergehende Philosophie und Vision von Lawvere wieder.
Alle referenzierten Bibliographieeintrage habe ich in einer offentlichen zotero-Gruppe
verf
ugbar gemacht: https://www.zotero.org/groups/kategorien .

Literatur
[1] Jir Adamek. Abstract and concrete categories : the joy of cats. 1990. isbn: 0-47160922-6.
[2] Steve Awodey. Category Theory. 2. Aufl. Oxford Univ Pr, Juni 2010. isbn: 0199237182.
[3] Steve Awodey. Category Theory Foundations, Lecture 1 - YouTube. url: https:
//www.youtube.com/watch?v=ZKmodCApZwk (besucht am 15. 07. 2014).
[4] Michael Barr und Charles Wells. Category Theory Lecture Notes for ESSLLI. Techn.
Ber. 1999. url: http://synrc.com/publications/cat/Category%20Theory/
General%20Theory/Barr,%20Wells.%20Category%20Theory.pdf.
[5] category theory in nLab. url: http://ncatlab.org/nlab/show/category+theory
(besucht am 15. 07. 2014).
[6] Rene Lavendhomme. Basic concepts of synthetic differential geometry. Kluwer texts
in the mathematical sciences : KTMS, ISSN 0927-4529 13. Dordrecht: Kluwer, 1996.
isbn: 0-7923-3941-X.
[7] F. William Lawvere und Robert Rosebrugh. Sets for Mathematics. Englisch. Cambridge University Press, Jan. 2003.
[8] F. William Lawvere und Stephen H. Schanuel. Conceptual Mathematics: A First
Introduction to Categories. 2. Aufl. Cambridge University Press, Juli 2009. isbn:
052171916X.
[9] Saunders MacLane. Categories for the Working Mathematician. 2. A. Springer,
Berlin, Okt. 1998. isbn: 0387984038.

KategorienEinfach.tex

14

2014-11-12;15:36

[10] Saunders MacLane und Moerdijk Ieke. Sheaves in Geometry and Logic: A First
Introduction to Topos Theory. Englisch. Universitext. New York: Springer Berlin,
1992. isbn: 9783540977100.
[11] Jaap van Oosten. Basic category theory. BRICS, Computer Science Department,
University of Aarhus, 1995. url: ftp : / / 130 . 225 . 17 . 37 / pub / BRICS / BRICS /
Reports/LS/95/1/BRICS-LS-95-1.pdf.gz (besucht am 16. 07. 2014).
[12] Benjamin C. Pierce. Basic category theory for computer scientists. 1991. isbn: 0262-66071-7.
[13] Michael A. Shulman. Set theory for category theory. arXiv e-print 0810.1279. Okt.
2008. url: http://arxiv.org/abs/0810.1279 (besucht am 04. 11. 2013).
[14] Harold Simmons. An Introduction to Category Theory. English. Cambridge ; New
York: Cambridge University Press, Nov. 2011. isbn: 9780521283045.
[15] TheCatsters - YouTube. url: https : / / www . youtube . com / user / TheCatsters
(besucht am 15. 07. 2014).
[16] D. Turi. Category theory lecture notes. In: Laboratory for Foundations of Computer Science, University of Edinburgh (2001).

KategorienEinfach.tex

15

2014-11-12;15:36