Kategorientheorie

Die Kategorientheorie liefert einen abstrakten Rahmen für den Vergleich von mathematischen Strukturen. Beispielsweise bilden in der ->Topologie die topologischen Räume und die Menge der stetigen Abbildungen zwischen topologischen Räumen eine Kategorie. Man nennt die topologischen Räume die Objekte der Kategorie und für je zwei topologische Räume X und Y die Menge der stetigen Abbildungen die Menge der zugehörigen Morphismen Mor(X, Y). Eine Unterkategorie davon besteht aus den Objekten , wobei X ein nichtleerer topologischer Raum und ein fester Punkt ist. Die Morphismen sind jetzt die stetigen Abbildungen, die den jeweiligen Punkt fest lassen,

In der Algebra bilden die Gruppen (->Gruppentheorie) zusammen mit den Gruppenhomomorphismen ebenfalls eine Kategorie. Die Gruppen sind wieder die Objekte und die Gruppenhomomorphismen , d. h. die Abbildungen , die

für alle

erfüllen, bilden die Menge der Morphismen Mor(G, H).

In der algebraischen Topologie wird eine Zuordnung zwischen diesen beiden Kategorien betrachtet. Jedem topologischen Raum mit ausgezeichnetem Punkt wird eine Homotopiegruppe zugeordnet

und jedem Morphismus
ein Gruppenhomomorphismus .

Eine solche Zuordnung nennt man einen Funktor, in Fall von genauer einen kovarianten Funktor, denn es gilt

für zwei stetige Abbildungen

und .

Funktoren erlauben es, strukturerhaltende Eigenschaften von einer Kategorie in eine andere zu übertragen, in der sich die Eigenschaften leichter untersuchen lassen. Man kann dann oft Rückschlüsse ziehen auf die Eigenschaften in der ursprünglichen Kategorie.

Will man beispielsweise entscheiden, ob zwei topologische Räume X und Y hömoomorph sind, so betrachtet man die zugehörigen Morphismen in der Kategorie der Gruppen. Enthält diese keinen Gruppenhomomorphismus, so kann es auch keinen Homöomorphismus geben.