Kategorien, Funktoren und natürliche Transformationen

Kategorien, Funktoren und natürliche Transformationen sind die drei Grundbegriffe der Kategorientheorie, die Strukturen, die Abbildungen zwischen Strukturen und die Abbildungen zwischen solchen Abbildungen formalisieren.

Definition

Eine Kategorie besteht aus Objekten und Morphismen, die assoziativ mit Identitäten komponieren; ein Funktor bildet Objekte und Morphismen einer Kategorie auf eine andere ab, wobei Komposition und Identitäten erhalten bleiben; eine natürliche Transformation ordnet jedem Objekt einen Morphismus zu, so dass dieser mit den Aktionen zweier Funktoren kommutiert.

Scope

Dieses Thema behandelt die Definition einer Kategorie durch Objekte, Morphismen, Komposition und Identitäten, den Begriff eines Funktors als strukturerhaltende Abbildung zwischen Kategorien, natürliche Transformationen als Morphismen von Funktoren und die daraus resultierenden Begriffe des Isomorphismus, der Äquivalenz von Kategorien und des Yoneda-Embeddings.

Core questions

• Welche Daten und Axiome definieren eine Kategorie?
• Wie transportiert ein Funktor Struktur von einer Kategorie in eine andere?
• Was bedeutet Naturalität und warum ist sie der richtige Begriff für eine Abbildung zwischen Funktoren?
• Wann sind zwei Kategorien äquivalent und nicht gleich?

Key theories

Kategorie- und Funktoraxiome

Die Komposition von Morphismen ist assoziativ und unital, und Funktoren erhalten diese Kompositionsstruktur, so dass kategoriale Konstruktionen unter den Abbildungen, die Kategorien in Beziehung setzen, stabil sind.

Natürliche Transformationen

Eine natürliche Transformation verbindet zwei Funktoren durch eine Familie von Morphismen, die mit allen Abbildungen in der Quellkategorie kompatibel sind, und erfasst die informelle Idee einer Konstruktion, die einheitlich und ohne willkürliche Entscheidungen definiert ist.

Yoneda-Lemma und -Einbettung

Natürliche Transformationen aus einem repräsentierten Funktor entsprechen Elementen, so dass jedes Objekt durch seine Morphismen bestimmt wird und vollständig und treu in eine Funktorkategorie eingebettet ist.

Clinical relevance

Diese drei Begriffe bilden das Vokabular, in dem die kategoriale Mathematik formuliert wird: Funktoren formalisieren Konstruktionen wie die Bildung einer Fundamentalgruppe oder eines Polynomrings, Naturalität identifiziert kanonische Konstruktionen, und die Yoneda-Perspektive untermauert die strukturelle Sichtweise, die Algebra, Topologie und die Semantik von Programmiersprachen durchdringt.

History

Eilenberg und Mac Lane führten Kategorien, Funktoren und natürliche Transformationen 1945 ein, wobei natürliche Transformationen das motivierende Konzept waren, das die präzise Definition der anderen erforderte. Das Yoneda-Lemma, Nobuo Yoneda zugeschrieben, wurde bald zum Eckpfeiler, der den Repräsentierbarkeitsstandpunkt des Fachgebiets ausdrückt.

Key figures

• Samuel Eilenberg
• Saunders Mac Lane
• Nobuo Yoneda

Seminal works

• maclane1998
• awodey2010
• riehl2016

Frequently asked questions

Was ist der Sinn natürlicher Transformationen?

Sie präzisieren, wann eine Konstruktion kanonisch ist, d.h. für jedes Objekt auf die gleiche Weise ohne willkürliche Entscheidungen definiert. Das klassische Beispiel ist die natürliche Abbildung von einem Vektorraum zu seinem doppelten Dual, die einheitlich existiert, im Gegensatz zur Abbildung zum einfachen Dual, die von einer Basiswahl abhängt.

Was ist eine Äquivalenz von Kategorien?

Es ist ein Paar von Funktoren zwischen zwei Kategorien, deren Komposite natürlich isomorph zu den Identitäten sind. Äquivalente Kategorien teilen alle kategorialen Eigenschaften, auch wenn sie nicht buchstäblich identisch sind, was der angemessene Begriff der Gleichheit in der Kategorientheorie ist.