Kategorientheorie
DieKategorientheorieoder diekategorielle Algebraist einZweig der Mathematik,der Anfang der1940erJahre zuerst im Rahmen derTopologieentwickelt wurde;Saunders MacLanenennt seine 1945 in Zusammenarbeit mitSamuel Eilenbergentstandene „General Theory of Natural Equivalences “(inTrans. Amer. Math. Soc.58, 1945) die erste explizit kategorientheoretische Arbeit. Die Grundbegriffe dieser Theorie sindKategorie,Funktorundnatürliche Transformation.Um den letzteren Begriff zu präzisieren, wurden die ersten beiden ursprünglich eingeführt.
Die Kategorientheorie lässt sich, ähnlich wie dieuniverselle Algebra,alsallgemeine Theorie mathematischer Strukturenauffassen (klassischeStrukturensind z. B.Gruppen,Ringe,Modulnundtopologische Räume). Dabei werden Eigenschaften mathematischer Strukturen allerdings nicht überRelationenzwischen Elementen derTrägermenge(n) definiert, sondern mittelsMorphismenund Funktoren quasi über Vergleiche sowohl innerhalb von als auch zwischen Kategorien.
Bedeutung
[Bearbeiten|Quelltext bearbeiten]Diese Art derAbstraktionführt nicht nur zu einer Klärung grundlegender, theorieübergreifender Begriffe, sie ermöglicht es auch, erfolgreiche Methoden und Konzepte einer speziellen mathematischen Theorie auf andere Bereiche und Objektklassen zu übertragen.
Ein illustratives Beispiel liefert die Geschichte derhomologischen Algebra,deren Methoden zuerst aufabelsche Gruppenbeschränkt waren, dann aufModulnüber Ringen verallgemeinert wurden und schließlich, alsTheorie derabelschen Kategorien,auf abelscheGarbenübertragen wurden.
Die Kategorientheorie ist ebenso für Grundlagenfragen relevant. So bildenTopoi,kategorientheoretische Extrakte der Kategorie der Mengen, in der wichtige Eigenschaften von Mengen rein pfeiltheoretisch (d. h. überMorphismen) formuliert werden, eine Alternative zumaxiomatischenmengentheoretischenAufbau der Mathematik. Darüber hinaus spielt die Kategorientheorie in derLogik,derTheoretischen Informatik(SemantikvonProgrammiersprachen,Bereichstheorie,Graphgrammatiken) und dermathematischen Physik(topologische Quantenfeldtheorie) eine Rolle.
Aufgrund ihres hohen Grades an Abstraktion wird die Kategorientheorie gelegentlich – selbst von den Mathematikern, die sie entwickelten – alsallgemeiner Unsinnbezeichnet.[1][2]
Definitionen
[Bearbeiten|Quelltext bearbeiten]Kategorie
[Bearbeiten|Quelltext bearbeiten]EineKategoriebesteht aus folgendem:
- EinerKlassevonObjekten.
- Einer Klasse von sogenanntenPfeilenoderMorphismen.Ein Morphismus ist ein Element einer Klassedie es zu jedem Paarvon Objekten gibt (auch mit,,oderbezeichnet). Diese Klassen sindpaarweise disjunkt,d. h. kein Morphismus,auchgeschrieben, ist Element einer anderen Morphismenklasse.ist dieQuelleeines Morphismusund wird auch mitbezeichnet (von englischdomain), dasZielmit(vonco-domain).
- Verknüpfungsabbildungen
- die im offensichtlichen Sinne assoziativ sind:
- sofernund.
- (Gelegentlich wird dasweggelassen undalsangeschrieben.)
- einem Identitätsmorphismuszu jedem Objekt,der neutrales Element für die Verknüpfung mit Morphismen mit Quelle oder Zielist, d. h. es gilt,fallsist, und,falls.Anstelleist auch die Formgebräuchlich.
Die Klasse aller Morphismen wird auch mitoderbezeichnet (von englischarrow,französischflèche,deutschPfeil).
Unterkategorie
[Bearbeiten|Quelltext bearbeiten]EineUnterkategorieeiner Kategorieist eine Kategorie,so dasseine Teilklasse vonist und für je zwei Objekteundindie MorphismenmengeTeilmenge vonist. Sind die Morphismenmengen vongleich denen von,isteinevolleUnterkategorie. Eine volle Unterkategorie ist schon durch die Angabe der Objekte bestimmt.
Duale Kategorie
[Bearbeiten|Quelltext bearbeiten]Dieduale Kategoriezu einer Kategorieist die Kategorie mitund
- .
Die Verknüpfungsabbildungen und Identitätsmorphismen sind dieselben wie in. Anschaulich gesagt, zeigen inalle Pfeile in die andere Richtung. Die Kategorieist gleich.
Produktkategorie
[Bearbeiten|Quelltext bearbeiten]DieProduktkategoriezu zwei Kategorienundist die Kategorie, deren Objekte genau die Paaremitundsind und deren Morphismen gegeben sind durch
- .
Die Verknüpfung von Morphismen geschieht komponentenweise, d. h.,und es ist.
Funktor
[Bearbeiten|Quelltext bearbeiten]Ein(kovarianter) Funktorist einestrukturverträglicheAbbildung zwischen Kategorien. Ein Funktorvon einer Kategoriein eine Kategoriebesteht aus den folgenden Daten:
- eine Zuordnung
- Abbildungenfür je zwei Objekte,von.
Die Abbildungen zwischen den Morphismenmengen müssen folgende Eigenschaften haben:
- Sie sind kompatibel mit Verknüpfungen, d. h..
- Sie erhalten Identitätsmorphismen:.
Einkontravarianter Funktor(oderKofunktor) vonnachist ein Funktor.Äquivalent dazu ist die Beschreibung wie oben, mit den folgenden Unterschieden:
- Die Abbildungen auf den Morphismenmengen gehen vonnach.
- Die Kompatibilität mit den Verknüpfungen lautet.
Ein Funktorvon einer Kategorie in sie selbst heißtEndofunktor.
SindKategorien undsowieko- oder kontravariante Funktoren, so ist die Verkettung(auchgeschrieben), die formal durch
für Objekteund Morphismendefiniert ist, ein Funktor.ist genau dann kovariant, wennundbeide ko- oder beide kontravariant sind, andernfalls kontravariant.
Natürliche Transformation
[Bearbeiten|Quelltext bearbeiten]Natürliche Transformationensind eine Art Abbildung zwischen „parallelen “Funktoren. Es wird von Funktorenundausgegangen, die beide von derselben Kategoriein dieselbe Kategoriegehen. Eine natürliche Transformationvonnachenthält für jedes Objektvoneinen Morphismus,genannt Komponente vonbei.Dabei muss für jeden Morphismuszwischen Objekten vondas folgende Diagrammkommutieren:
Als Formel bedeutet das:.
Natürlich äquivalentsind zwei Funktorenundvonnach,wenn es natürliche Transformationenundgibt, so dassundjeweils die Identität sind. Anders formuliert: Natürliche Äquivalenz ist der Isomorphiebegriff in derFunktorkategorie.Eine natürliche Transformationist eine natürliche Äquivalenz genau dann, wenn jede Komponenteein Isomorphismus ist, man nenntdaher auch einennatürlichen Isomorphismus.
Äquivalenz von Kategorien:Ein Funktorheißt eineÄquivalenz von Kategorien,wenn es einen Funktorgibt, so dassundjeweils natürlich äquivalent zur Identität vonbzw.sind. Äquivalenzen von Kategorien sind genau dievolltreuen,wesentlich surjektivenFunktoren.
Beispiele
[Bearbeiten|Quelltext bearbeiten]Kategorien
[Bearbeiten|Quelltext bearbeiten]Hinweis: Die Bezeichnungen für spezielle Kategorien sind in der Literatur extrem uneinheitlich. Oft wird eine Beschreibung der Kategorie in runde oder geschweifte Klammern gesetzt, z. B. (Gruppen), oder unterstrichen.
- Die KategorieSet,Ensbzw.Me[3](von engl.set,franz.ensemble,deutschMenge) ist die Kategorie derMengen.Die Kategorie besteht aus der Klasse,die alle Mengen enthält, und die Morphismenmenge enthält genau die Abbildungen vonnach,d. h.Die Verknüpfung zweier Morphismen ist dieVerkettungder Abbildungen.
- PoSetoderPoswird die Kategorie derhalbgeordneten Mengen(Objekte) und monotonen Abbildungen (Morphismen) genannt.
- Topbezeichnet die Kategorie dertopologischen Räume(Objekte) und stetigen Abbildungen (Morphismen). Eine interessante Unterkategorie ist beispielsweise die volle UnterkategorieKHausderkompaktenHausdorffräume.
- die KategorieGrpoderGrderGruppenmit denGruppenhomomorphismenals Morphismen; weiter die volle UnterkategorieAbGrpderabelschen Gruppen,die sehr konsequent auch mitAbbezeichnet wird.
- die KategorieNLinSpder normierten linearen Räume mit den stetigen (=beschränkten) linearen Abbildungen. Unterkategorien sind z. B. dieBanachräumemit stetigen linearen Abbildungen (BanSp1), die Banachräume mit stetigen normreduzierenden Abbildungen (BanSp2), oder kommutative komplexe Banachalgebren mit Einheit und normreduzierenden Algebrenhomomorphismen (CBanAlg).
- Die Kategorie der kleinen KategorienCatoderKat:Eine Kategorie heißtklein,wenn die Klasse ihrer Morphismen eine Menge ist. Die Objekte vonCatsind die kleinen Kategorien und die Morphismen sind die Funktoren. (Die Beschränkung auf kleine Kategorien ist ausmengentheoretischen Gründennötig.)
- Eine Menge mit einer Halbordnungbestimmt eine Kategorie: Objekte sind die Elemente der Menge, undhabe genau ein Element (z. B. das geordnete Paar), falls,und sei andernfalls leer.
- Ist hierbeileer, ergibt sich eine Kategorie ganz ohne Objekte und Morphismen. Sie wird mitbezeichnet und heißt die initiale oder leere Kategorie. Die Benennung rührt daher, dassinitiales Objekt inCatist.
- Ist dagegeneinelementig, ergibt sich eine Kategorie,die aus genau einem Objekt und dessen Identitätsmorphismus besteht. Sie wird finale oder terminale Kategorie genannt, was dadurch motiviert ist, dassfinales Objekt inCatist.
- SindundKategorien, so kann man dieFunktorkategoriebilden: Objekte sind Funktoren vonnach,Morphismen sind natürliche Transformationen.
- Isteine Kategorie undein Objekt von,so ist die Kategorieder Objekteüberwie folgt definiert: Objekte vonsind Morphismen inmit Ziel,und Morphismen vonsind Morphismen von,die mit den „Strukturmorphismen“nachverträglich sind, d. h. sindundzwei Objekte von,so sind Morphismen vonnachindie Morphismenvonnach,für diegilt.
- Umgekehrt sei * ein fester einpunktiger topologischer Raum. Dann ist die Kategorie der topologischen Räume unter * isomorph zur KategorieTop*derpunktierten topologischen Räume.
Die meisten der oben genannten Beispiele sind so geartet (oder lassen sich leicht dahingehend anpassen), dass die Objekte Mengen zusammen mit einer Zusatzstruktur sind, die Morphismen Abbildungen, die mit dieser Struktur verträglich sind, und die Verknüpfung von Morphismen die Hintereinanderausführung von Abbildungen ist. Man spricht in diesem Fall von einerkonkreten Kategorie. Es ist jedoch nicht jede Kategorie konkret oder auch nur äquivalent zu einer konkreten Kategorie (d. h.konkretisierbar). Nicht konkretisierbar sind beispielsweise (ohne Beweis):
- DieHomotopie-KategorieHoTopbzw.hTopmit topologischen Räumen als Objekten undHomotopieklassenstetiger Abbildungen als Morphismen.
- Die Kategorie der kleinen Kategorien, allerdings mit dennatürlichen Äquivalenzklassenvon Funktoren als Morphismen.
Funktoren
[Bearbeiten|Quelltext bearbeiten]Meist gibt man für Funktoren nur die Zuordnung der Objekte an, wenn die Abbildungen auf den Morphismenmengen daraus leicht zu ersehen sind.
- Für ein Objekteiner Kategorieist die Zuordnung
- ein (kovarianter) Funktor.Der Funktor
- ist kontravariant. Hierzu siehe auchHom-Funktor.
- Es seieinKörperunddie Kategorie derVektorräumeübermit den-linearen Abbildungenals Morphismen. Es sei nun ein kontravarianter Funktor
- wie folgt definiert:
- Für ein ObjektistderDualraumvon
- Für eine lineare Abbildungist
- Man überprüft leicht, dassundgilt.
- :ordnet einem unitären Ring seineGruppe der Einheitenzu. Allgemeiner::ordnet einem Ring dieGruppe der invertierbaren-Matrizenzu.
- DieFundamentalgruppeist ein Funktor,von der Kategorie derpunktierten topologischen Räume(die Punktierung gibt den Basispunkt an) in die Kategorie der Gruppen; die höherenHomotopiegruppensind Funktoren;dieHomologiegruppensind Funktoren;dieKohomologiegruppensind kontravariante Funktoren.
- Vergissfunktoren:Es gibt offensichtliche Funktoren,,usw., die einfach einen Teil der Struktur „vergessen “, d. h. einer abelschen Gruppe die zugrundeliegende Menge, einer abelschen Gruppe sich selbst (aber ohne die Information, dass sie abelsch ist), einem topologischen Raum die zugrundeliegende Menge usw. zuordnen.
- „Freie“Konstruktionen, hierfreie abelsche Gruppe:Jeder Mengekann man die abelsche Gruppe(mit punktweiser Addition) zuordnen. Zusammen mit offensichtlichen Zuordnungen für Abbildungen, nämlich,ergibt sich ein Funktor vonnach.Es gibt dann eine kanonische Isomorphie,wobeider Vergissfunktor ist. Man sagt,ist (links-)adjungierter Funktorzu.Ähnliche Konstrukte existieren für viele Vergissfunktoren.
- Funktoren zwischen Kategorien, die von halbgeordneten Mengen bestimmt werden (s. o.), sind gerademonotone Abbildungen.
Natürliche Transformationen
[Bearbeiten|Quelltext bearbeiten]- Die Bezeichnungen seien wie im Beispiel des Funktors „Dualraum “oben. Die Abbildungen
- eines Vektorraumes in seinen Bidualraum bilden eine natürliche Transformation
- Auf der vollen Unterkategorie der endlichdimensionalen Vektorräume isteine natürliche Äquivalenz.
- :Für einen Ringistder Gruppenhomomorphismus,dieDeterminante.
- DieHurewicz-Abbildung
- DasCupproduktin derKohomologie.
- DieAbelisierungeinerGruppe
Yoneda-Lemma und universelle Konstruktionen
[Bearbeiten|Quelltext bearbeiten]Universelle Konstruktionen übertragen einfache Begriffe aus der Kategorie der Mengen auf beliebige Kategorien.
Das Yoneda-Lemma
[Bearbeiten|Quelltext bearbeiten]Es seieine Kategorie. Der Funktor
der einem Objektden Funktor
zuordnet, istvolltreu.Allgemeiner gilt für Objektevonundvon:
- ;
einer natürlichen Transformationwird dabeizugeordnet (man beachte).
Strukturtransfer
[Bearbeiten|Quelltext bearbeiten]Das Yoneda-Lemma erlaubt es, Begriffe, die aus der Kategorie der Mengen geläufig sind, auf beliebige Kategorien zu übertragen. Beispielsweise kann man einProduktvon Objektendefinieren als ein Objekt,für dasobjektweise das kartesische Produkt derist, d. h., dass
gilt; dabei meinteine natürliche Äquivalenz von Funktoren in.Diese Äquivalenz liefert fürals Entsprechung vonauch Morphismen. Das Yoneda-Lemma zeigt dann, dassbis auf kanonische Isomorphie eindeutig bestimmt ist: sindundvianatürlich äquivalente Funktoren, so sindundviaisomorph.
„Universell “ist dieses kategorielle Produkt in dem folgenden Sinn: wann immer man Abbildungengegeben hat, kommen diese von den universellen Abbildungenher, d. h. es gibt eine Abbildung,so dassgilt.
Außerdem kann man zu jeder derart gewonnenen Konstruktion die duale Konstruktion bilden (meist durch eine Vorsilbe „Ko “gekennzeichnet), indem man zur dualen Kategorie übergeht. Beispielsweise ist dasKoproduktvon Objektenin einer Kategoriedasselbe wie das Produkt derselben Objektein der dualen Kategorie.
Entsprechend können auch Eigenschaften von Mengenabbildungen auf beliebige Kategorien übertragen werden: beispielsweise ist ein MorphismuseinMonomorphismus,wennobjektweise injektiv ist.
Spezielle universelle Konstruktionen bzw. Begriffe
[Bearbeiten|Quelltext bearbeiten]- Produkt und Koprodukt
- AnfangsobjekteundEndobjekte
- DifferenzkernundDifferenzkokern
- FaserproduktundPushout
- allgemeinLimitesbzw.Kolimites
- injektiveundprojektive Objekte
- adjungierte Funktoren
- 2-Kategorie
Siehe auch
[Bearbeiten|Quelltext bearbeiten]Literatur
[Bearbeiten|Quelltext bearbeiten]Einführungen:
- F. W. Lawvere,Stephen Schanuel:Conceptual Mathematics. A first introduction to categories.Cambridge 1997,ISBN 0-521-47817-0.
- Steve Awodey:Category Theory.Clarendon Press, Oxford 2006,ISBN 0-19-856861-4.
- Michael Arbib,Ernest G. Manes:Arrows, Structures and Functors. The Categorical Imperative.Academic Press, 1975.
- Martin Brandenburg:Einführung in die Kategorientheorie.Mit ausführlichen Erklärungen und zahlreichen Beispielen. Springer Spektrum, Berlin 2015,ISBN 978-3-662-47067-1,doi:10.1007/978-3-662-47068-8.
- Hartmut Ehrig, Michael Pfender und Studenten der Mathematik und Informatik:Kategorien und Automaten.Walter de Gruyter, Berlin / New York 1972,ISBN 3-11-003902-8.(Das Buch gibt in den Kapiteln 1, 3 und 5 eine in sich abgeschlossene Einführung in die allgemeine Kategorientheorie und in den Kapiteln 2, 4 und 6 wird die Automatentheorie mit kategoriellen Methoden entwickelt.)
- Samson Abramsky,Nikos Tzevelekos:Introduction to Categories and Categorical Logic.
Klassische Lehrbücher:
- J. Adámek, H. Herrlich, G.E. Strecker:Abstract and concrete categories.The Joy of Cats. John Wiley, 1990.
- Horst Herrlich, George E. Strecker:Category Theory: An Introduction.Boston 1973.
- Saunders MacLane:Kategorien: Begriffssprache und mathematische Theorie.Berlin 1972,ISBN 3-540-05634-3.
- Saunders MacLane:Categories for the Working Mathematician.2. Auflage. Springer, 1998,ISBN 0-387-98403-8.
- Bodo Pareigis:Kategorien und Funktoren.B. G. Teubner, Stuttgart 1969.
- Horst Schubert:Kategorien I/II.Springer, 1970.
Ein Nachschlagewerk:
- Francis Borceux:Handbook of categorical algebra.3 vol (1: Basic category theory; 2: Categories and structures; 3: Categories of sheaves). – Cambridge 1994. (Encyclopedia of Mathematics and its Applications, 50/52)ISBN 0-521-44178-1,ISBN 0-521-44179-X,ISBN 0-521-44180-3.
Ein Sammelband:
- W. Gähler, G. Preuss:Categorical Structures and their Applications.World Scientific, 2004,ISBN 981-256-053-X.
Weblinks
[Bearbeiten|Quelltext bearbeiten]- Eintragin Edward N. Zalta (Hrsg.):Stanford Encyclopedia of Philosophy.
- PlanetMath Übersichtsartikel(englisch)
- Eine „sanfte Einführung “in die Kategorientheorie, die nur mit Beispielen aus der Algorithmik arbeitet(englisch; 80 S.; PDF)
- nLab,Wiki mit vielen Einträgen über Kategorientheorie und den Bezug zu anderen Disziplinen
- J. Adámek, H. Herrlich, G.E. Strecker:Abstract and concrete categories.The Joy of Cats. Online ed. 2004(PDF; 4,4 MB)
- Theory and Applications of Categories,Zeitschrift
- Categories,moderierte Liste von Kategorientheoretikern über Kategorientheorie
- Manon Bischoff:Abstrakter Unsinn oder mathematische Wunderwaffe?inSpektrum.devom 7. November 2023
Einzelnachweise
[Bearbeiten|Quelltext bearbeiten]- ↑Serge Lang:Algebra.Springer, 2002,ISBN 0-387-95385-X,S.759.
- ↑Theodor Bröcker:Lineare Algebra und Analytische Geometrie.Springer, 2004,ISBN 3-0348-8962-3,S.212.
- ↑Bodo Pareigis:Kategorien und Funktoren.Teubner, Stuttgart 1969,ISBN 3-663-12190-9,S.8,doi:10.1007/978-3-663-12190-9.