Konkrete Kategorie

Eine konkrete Kategorie ist in der Mathematik eine Kategorie zusammen mit einem treuen Funktor von ihr in die Kategorie der Mengen („Vergissfunktor“). Eine Kategorie, zu der solch ein Vergissfunktor existiert, heißt konkretisierbare Kategorie. Vermöge dieses Vergissfunktors kann man sich die Objekte der an sich abstrakten Kategorie auch als Mengen mit einer zusätzlichen mathematischen Struktur vorstellen, wobei die Morphismen genau die mit dieser Struktur verträglichen Abbildungen zwischen den entsprechenden Mengen sind.

Motivation

Viele wichtige Kategorien sind ohnehin in folgender Form gegeben:

• Objekte haben eine zugrunde liegende Menge bzw. sind Mengen mit zusätzlichen Strukturen,
• Morphismen sind mit der Zusatzstruktur verträgliche Abbildungen zwischen diesen Mengen,
• die Komposition von Morphismen ist einfach das Hintereinanderausführen von Abbildungen,
• der Identitätsmorphismus eines Objekts ist durch die identische Abbildung gegeben.

Durch den offensichtlichen Funktor in die Kategorie der Mengen sind solche Kategorien konkretisierbar. Dies ist insbesondere der Fall für die Kategorie Top der topologischen Räume (mit stetigen Abbildungen als Morphismen), für die Kategorie Grp der Gruppen und trivialerweise auch für die Kategorie Set der Mengen selbst. Wenn man auf diese Weise von Elementen eines Objektes sprechen kann, ermöglicht dies beispielsweise einfache und anschauliche Definitionen von Begriffen wie Kern und Bild eines Morphismus und das Beweisverfahren der Diagrammjagd. Eine wichtige Aussage in dieser Richtung liefert etwa der Einbettungssatz von Mitchell.

Definition

Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} eine Kategorie, die sogenannte Basiskategorie. Eine konkrete Kategorie über Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} ist ein Paar $(C,U)$ aus einer Kategorie Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C} und einem treuen Funktor Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U\colon C\to X} in die Basiskategorie. Eine Kategorie Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C} heißt über $X$ konkretisierbar, wenn es eine über $X$ konkrete Kategorie $(C,U)$, d. h. einen treuen Funktor $U\colon C\to X$ gibt.

Falls $X$ die Kategorie Set der Mengen und Abbildungen ist, heißt $(C,U)$ auch schlicht konkrete Kategorie und $C$ konkretisierbar. Einige Autoren bezeichnen eine konkrete Kategorie auch als Konstrukt.

Der Funktor $U$ wird auch als Vergissfunktor bezeichnet, der jedem Objekt von $C$ sein zugrunde liegendes $X$-Objekt (bzw. zugrunde liegende Menge) und jedem Morphismus in $C$ seinen zugrunde liegenden $X$-Morphismus (bzw. zugrunde liegende Abbildung) zuordnet.

Bemerkungen

• Die Untersuchung relativer Konkretheit (d. h. mit einer anderen Basiskategorie als ${\mathbf {Set} }$) ist insbesondere in der Theorie der Topoi üblich und man kann beispielsweise Modelle einer Theorie mit $N$ Sorten als Objekte einer konkreten Kategorie über ${\mathbf {Set} }^{N}$ ansehen. Nachfolgend wird jedoch durchweg ${\mathbf {Set} }$ als Basiskategorie betrachtet.
• Anders als man per Intuition vermuten mag, ist Konkretheit keine Eigenschaft, die einer Kategorie entweder zukommt oder nicht. Vielmehr kann ein und dieselbe Kategorie durchaus mehrere verschiedene treue Funktoren nach ${\mathbf {Set} }$ haben und somit verschiedene konkrete Kategorien $(C,U)$ zu einer gegebenen Kategorie $C$ existieren. In der Praxis ist jedoch meist klar, welcher Vergissfunktor gemeint ist, und man spricht dann verkürzt von der „konkreten Kategorie $C$“. Beispielsweise ist „die konkrete Kategorie ${\mathbf {Set} }$“ genau genommen die konkrete Kategorie $({\mathbf {Set} },I)$, wobei $I\colon {\mathbf {Set} }\to {\mathbf {Set} }$ der Identitätsfunktor ist.
• Die Voraussetzung, dass $U$ treu ist, bedeutet, dass $U$ verschiedenen Morphismen zwischen zwei gegebenen Objekten verschiedene Abbildungen zuordnet. Es kann jedoch durchaus sein, dass $U$ verschiedenen Objekten die gleiche Menge zuordnet. In dem Fall ordnet $U$ durchaus verschiedenen Morphismen (mit verschiedenen Quellen und/oder Zielen) dieselbe Abbildung zu. Als Beispiel denke man bei topologischen Räumen an dieselbe Menge, die einmal mit der Klumpentopologie, einmal mit der diskreten Topologie versehen ist.

Beispiele

• Jede kleine Kategorie ist konkretisierbar: Für ein Objekt $X\in \operatorname {Ob} (C)$ sei zunächst $U(X)$ die Menge aller Morphismen nach $X$. Für einen Morphismus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon X\to Y} kann man die Abbildung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U(f)\colon U(X)\to U(Y)} durch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g\mapsto f\circ g} definieren. Dass auf diese Weise ein treuer Funktor U: C → Set definiert wird, lässt sich unmittelbar verifizieren.
• Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G} eine Gruppe, so kann man hierzu eine Kategorie C mit nur einem einzigen Objekt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \ast} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \operatorname{Mor}(\ast,\ast):=G} definieren. Operiert Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G} treu auf einer Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M} , so ist (C,U) mit dem durch $U(\ast )=M$ und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U(g)\colon m\mapsto g\cdot m} gegebenen Funktor eine konkrete Kategorie.
• Eine teilgeordnete Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (P,{\le})} lässt sich als Kategorie auffassen, deren Objekte die Elemente von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P} sind und mit einem Pfeil Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x\to y} genau dann, wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x\le y} . Indem man $U(x):=\emptyset$ definiert und jedem Pfeil die identische Abbildung auf $\emptyset$ zuordnet, erhält man eine konkrete Kategorie.
• Zusammen mit dem kontravarianten Potenzmengenfunktor Set^op → Set, der jeder Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} die Potenzmenge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \operatorname{Pot}(A)} und jeder Abbildung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon B\to A} die Abbildung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \operatorname{Pot}(A)\to \operatorname{Pot}(B)} , Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle S\mapsto f^{-1}(S)=\{x\in B\mid f(x)\in S\}} zuordnet, wird Set^op zu einer konkreten Kategorie.
• Aus dem vorstehenden Beispiel folgt, dass die duale Kategorie zu einer konkretisierbaren Kategorie ebenfalls konkretisierbar ist: Mit $(C,U)$ ist auch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (C^{\operatorname{op}},\operatorname{Pot}\circ U^{\operatorname{op}})} konkret.
• Bei der Kategorie Ban der Banachräume und linearen Kontraktionen benutzt man meist nicht den „offensichtlichen“ Vergissfunktor, sondern ordnet einem Raum nur seine (abgeschlossene) Einheitskugel zu, um aus diesem eine Rechtsadjunktion zu machen.

Gegenbeispiele

• Die Homotopie-Kategorie hTop, deren Objekte topologische Räume und deren Morphismen die Homotopieklassen stetiger Abbildungen sind, ist eine nicht konkretisierbare Kategorie. Zwar sind die Objekte bereits Mengen (mit einer Zusatzstruktur), aber die Morphismen sind eben keine Abbildungen zwischen diesen, sondern Äquivalenzklassen solcher Abbildungen. Der erste Beweis, dass dieser Mangel nicht behebbar ist, dass es also überhaupt keinen treuen Funktor von hTop nach Set gibt, stammt von Peter Freyd.
• Die Kategorie der kleinen Kategorien mit natürlichen Äquivalenzklassen von Funktoren als Morphismen ist ebenfalls nicht konkretisierbar.

Literatur

• Jiří Adámek, Horst Herrlich, George E. Strecker: Abstract and Concrete Categories: The Joy of Cats. John Wiley & Sons, New York 1990, ISBN 0-471-60922-6 (englisch, katmat.math.uni-bremen.de [PDF; abgerufen am 12. Oktober 2010]). 
• Jiří Rosický: Concrete categories and infinitary languages. In: Journal of Pure and Applied Algebra. Band 22, Nr. 3, 1981, S. 309–339, doi:10.1016/0022-4049(81)90105-5 (englisch). 

Einzelnachweise

Adámek, Herrlich, Strecker: Abstract and Concrete Categories: the joy of cats.