Unterfunktor

Unterfunktoren werden im mathematischen Teilgebiet der Kategorientheorie definiert. Ein mengenwertiger Funktor ist Unterfunktor eines anderen, wenn zwischen den Bildern der Objekte eine Teilmengenbeziehung besteht und zwischen den Bildern der Morphismen eine zugehörige Einschränkungsbeziehung.

Definition

Es seien ${\mathcal {C}}$ eine Kategorie und $F,G\colon {\mathcal {C}}\rightarrow {\mathcal {Set}}$ zwei Funktoren in die Kategorie der Mengen, beide kovariant oder kontravariant. $G$ heißt Unterfunktor von $F$, falls

• für alle Objekte $C$ aus ${\mathcal {C}}$ gilt $G(C)\subset F(C)$ und
• für alle Morphismen $f:C\rightarrow D$ in ${\mathcal {C}}$ ist $G(f)=F(f)|_{G(C)}$ (bzw. $G(f)=F(f)|_{G(D)}$ im kontravarianten Fall).

Dabei steht der senkrechte Strich für die Einschränkung der Abbildung auf die genannte Menge.

In diesem Fall verwendet man die Schreibweise $G\subset F$.

Beispiele

• Sei ${\mathcal {Grp}}$ die Kategorie der Gruppen und $K:{\mathcal {Grp}}\rightarrow {\mathcal {Grp}}$ der Funktor, der jede Gruppe $G$ auf die Kommutatorgruppe $K(G):=\langle [G,G]\rangle$ abbildet und jeden Gruppenhomomorphismus auf die Einschränkung auf die Kommutatorgruppe. Da Gruppenhomomorphismen Kommutatoren wieder auf Kommutatoren abbilden, erhält man so einen Funktor. Schließlich sei $V:{\mathcal {Grp}}\rightarrow {\mathcal {Set}}$ der Vergissfunktor. Dann ist $V\circ K\subset V$.
• Die durch Siebe definierten Funktoren sind genau die Unterfunktoren des kontravarianten Hom-Funktors.

Unterfunktoren von Prägarben

Ist ${\mathcal {C}}$ eine kleine Kategorie, so nennt man einen Funktor ${\mathcal {C}}^{op}\rightarrow {\mathcal {Set}}$ von der dualen Kategorie in die Kategorie der Mengen eine Prägarbe. Die Funktorkategorie der Prägarben mit den natürlichen Transformationen als Morphismen wird mit ${\hat {\mathcal {C}}}$ oder ${\mathcal {Set}}^{{\mathcal {C}}^{op}}$ bezeichnet. Unterobjekte einer Prägarbe $F$ sind definitionsgemäß Äquivalenzklassen von Monomorphismen $G\rightarrow F$. Man kann zeigen, dass jedes Unterobjekt in ${\hat {\mathcal {C}}}$ durch einen Unterfunktor repräsentiert wird. Das heißt, dass in jeder dieser Äquivalenzklassen auch ein Unterfunktor liegt.