Darstellbarkeit (Kategorientheorie)
# Darstellbarkeit (Kategorientheorie)

Darstellbarkeit ist ein Begriff aus dem mathematischen Teilgebiet der Kategorientheorie. Es beschreibt den Umstand, dass es für gewisse Konstruktionen „klassifizierende Objekte“ gibt.

## Definition

Ein kontravarianter Funktor $F\colon C\to \mathbf {Set}$ von einer Kategorie $C$ in die Kategorie der Mengen heißt darstellbar, wenn es ein Paar $(X,u)$ bestehend aus einem Objekt von $C$ und einem Element $u\in F(X)$ gibt, so dass
    $\mathrm {Hom} _{C}(T,X)\to F(T),\quad f\mapsto F(f)(u)$
für alle Objekte $T$ von $C$ bijektiv ist. Man schreibt dann auch einfach
    $F(T)=\mathrm {Hom} _{C}(T,X).$
Ein kovarianter Funktor $G\colon C\to \mathbf {Set}$ heißt darstellbar, wenn es ein analoges Paar $(X,u)$ gibt, so dass
    $\mathrm {Hom} _{C}(X,T)\to G(T),\quad f\mapsto G(f)(u)$
bijektiv ist.
Weitere Bezeichnungen:
* Für ein Element von $F(T)$ heißt der entsprechende Morphismus $T\to X$ auch klassifizierender Morphismus.
* $X$ heißt darstellendes Objekt, auch wenn durch $X$ selbst die natürliche Äquivalenz
       $F\cong \mathrm {Hom} _{C}({-},X)$ bzw. $G\cong \mathrm {Hom} _{C}(X,{-})$
    noch nicht festgelegt ist.
* $u$ wird oft universell genannt, weil jedes Element von $F(T)$ für irgendein Objekt $T$ Bild von $u$ unter $F(f)$ mit einem geeigneten Morphismus
       $f\colon T\to X$
    ist. (Analoges gilt im Fall kovarianter Funktoren.)

## Eigenschaften

* Wird ein kontravarianter Funktor $F$ wie oben einerseits durch $(X_{1},u_{1})$, andererseits aber auch durch $X_{2},u_{2}$ dargestellt, so gibt es genau einen Isomorphismus $i\colon X_{1}\to X_{2}$, für den $F(i)(u_{2})=u_{1}$ gilt. Er ist der klassifizierende Morphismus von $u_{1}\in F(X_{1})$ bezüglich $(X_{2},u_{2})$.
* Darstellbare Funktoren sind linksexakt, d. h.
       $F(\mathrm {colim} \,X_{i})\,=\,\lim F(X_{i})$ bzw. $G(\lim X_{i})\,=\,\lim G(X_{i})$.

## Beispiele

* Die Bildung der Potenzmenge ${\mathcal {P}}(T)$ einer Menge $T$ kann als kontravarianter Funktor ${\mathcal {P}}\colon \mathbf {Set} \to \mathbf {Set}$ betrachtet werden: für eine Abbildung $f\colon T\to S$ von Mengen sei die induzierte Abbildung ${\mathcal {P}}(f):{\mathcal {P}}(S)\to {\mathcal {P}}(T)$ das Urbild von Teilmengen: ${\mathcal {P}}(f)(U)=f^{-1}(U)$.
    Dieser Funktor wird durch das Paar $(\{0,1\},\{1\})$ dargestellt, denn ist $T$ ein Objekt, das heißt eine Menge, so ist $\mathrm {Hom} (T,\{0,1\})\rightarrow {\mathcal {P}}(T),\,f\mapsto {\mathcal {P}}(f)(\{1\})=f^{-1}(\{1\})$ bijektiv. Die klassifizierende Abbildung einer Teilmenge $U\subseteq T$ ist also die charakteristische Funktion $\chi _{U}$ von $U$, denn $\chi _{U}^{-1}(\{1\})=U$.
* Die folgenden Vergissfunktoren sind darstellbar:
    von nach dargestellt durch Abelsche Gruppen Mengen $(\mathbb {Z} ,1)$ Vektorräume über einem Körper $K$ Mengen $(K,1)$ unitäre Ringe Mengen $(\mathbb {Z} [T],T)$ Topologische Räume Mengen $(*,*)$ (ein einpunktiger Raum)
* Ein Beispiel aus der kommutativen Algebra bilden die Kähler-Differentiale mit der universellen Derivation.
* Die Fundamentalgruppe eines punktierten topologischen Raumes ist per definitionem ein darstellbarer Funktor auf der Kategorie der punktierten topologischen Räume mit den Homotopieklassen punktierter Abbildungen als Morphismen:
       $\pi _{1}(X,x_{0})=[(S^{1},*),(X,x_{0})].$
* Die erste Kohomologiegruppe $H^{1}(X,\mathbb {Z} )$ mit Koeffizienten in den ganzen Zahlen ist ein kontravarianter Funktor, der durch die 1-Sphäre $S^{1}$ zusammen mit einem der beiden Erzeuger von
       $H^{1}(S^{1},\mathbb {Z} )\cong \mathbb {Z}$
    dargestellt wird. Allgemein gibt es darstellende Räume $K(\pi ,n)$ für die Funktoren $H^{n}({-},\pi )$ für beliebige abelsche Gruppen $\pi$ und natürliche Zahlen $n$. Sie heißen Eilenberg-MacLane-Räume.