Hom-Funktor

In der Kategorientheorie bezeichnet Hom C ⁡ ( A , B ) {\displaystyle \operatorname {Hom} _{C}(A,B)} (oder einfach Hom ⁡ ( A , B ) {\displaystyle \operatorname {Hom} (A,B)} , wenn der Bezug zur Kategorie klar ist, oder auch Mor C ⁡ ( A , B ) {\displaystyle \operatorname {Mor} _{C}(A,B)} oder C ( A , B ) {\displaystyle C(A,B)} ) die Menge der Homomorphismen (oder Morphismen) von einem Objekt A {\displaystyle A} zu einem Objekt B {\displaystyle B} einer Kategorie C {\displaystyle C} und zählt somit zu den grundlegenden Daten einer Kategorie. Die jeweilige Abbildung Hom C {\displaystyle \operatorname {Hom} _{C}} ist der Hom-Funktor zu der Kategorie C {\displaystyle C} .

Wenn beispielsweise die Objekte der Kategorie aus „Mengen mit zusätzlichen Eigenschaften“ bestehen (z. B. Gruppen, topologische Räume), so sind die zugehörigen Morphismen im Allgemeinen genau die mit diesen Eigenschaften verträglichen Abbildungen (zum Beispiel Gruppenhomomorphismen, stetige Abbildungen).

Man kann Hom {\displaystyle \operatorname {Hom} } jedoch auch auffassen als Abbildung, die jedem Paar ( A , B ) {\displaystyle (A,B)} von C {\displaystyle C} -Objekten eine Menge Hom ⁡ ( A , B ) {\displaystyle \operatorname {Hom} (A,B)} zuordnet. Man hat jedoch noch mehr: Ist f : A ′ → A {\displaystyle f\colon A'\to A} ein C {\displaystyle C} -Morphismus, also ein Element von Hom ⁡ ( A ′ , A ) {\displaystyle \operatorname {Hom} (A',A)} , so kann man jedem h ∈ Hom ⁡ ( A , B ) {\displaystyle h\in \operatorname {Hom} (A,B)} den Homomorphismus h ∘ f ∈ Hom ⁡ ( A ′ , B ) {\displaystyle h\circ f\in \operatorname {Hom} (A',B)} zuordnen und erhält so eine Abbildung

Hom ⁡ ( f , B ) : Hom ⁡ ( A , B ) → Hom ⁡ ( A ′ , B ) . {\displaystyle \operatorname {Hom} (f,B)\colon \operatorname {Hom} (A,B)\to \operatorname {Hom} (A',B).}

Ebenso erhält man zu einem Homomorphismus g ∈ Hom ⁡ ( B , B ′ ) {\displaystyle g\in \operatorname {Hom} (B,B')} eine Abbildung

Hom ⁡ ( A , g ) : Hom ⁡ ( A , B ) → Hom ⁡ ( A , B ′ ) , {\displaystyle \operatorname {Hom} (A,g)\colon \operatorname {Hom} (A,B)\to \operatorname {Hom} (A,B'),}

indem man h {\displaystyle h} auf g ∘ h {\displaystyle g\circ h} abbildet. Kombiniert erhält man eine Abbildung

Hom ⁡ ( f , g ) : Hom ⁡ ( A , B ) → Hom ⁡ ( A ′ , B ′ ) . {\displaystyle \operatorname {Hom} (f,g)\colon \operatorname {Hom} (A,B)\to \operatorname {Hom} (A',B').}

Man verifiziert leicht die folgenden Eigenschaften:

• Hom ⁡ ( id A , id B ) = id Hom ⁡ ( A , B ) {\displaystyle \operatorname {Hom} (\operatorname {id} _{A},\operatorname {id} _{B})=\operatorname {id} _{\operatorname {Hom} (A,B)}} , wobei id A {\displaystyle \operatorname {id} _{A}} usw. die Identität des jeweiligen Objektes bezeichnet.
• Hom ⁡ ( f , g ) ∘ Hom ⁡ ( f ′ , g ′ ) = Hom ⁡ ( f ′ ∘ f , g ∘ g ′ ) {\displaystyle \operatorname {Hom} (f,g)\circ \operatorname {Hom} (f',g')=\operatorname {Hom} (f'\circ f,g\circ g')} , soweit die Verknüpfungen definiert sind (d. h. entsprechende Definitions- und Zielbereiche übereinstimmen).

In der kategorientheoretischen Sprache kann man dies unter Verwendung der Begriffe der dualen Kategorie und der Produktkategorie so ausdrücken:

Hom {\displaystyle \operatorname {Hom} } ist ein Funktor von C o p × C {\displaystyle C^{op}\times C} in die Kategorie Set der Mengen. Man beachte: Objekte von C o p × C {\displaystyle C^{op}\times C} sind Paare ( A , B ) {\displaystyle (A,B)} von C {\displaystyle C} -Objekten, Morphismen von ( A , B ) {\displaystyle (A,B)} nach ( A ′ , B ′ ) {\displaystyle (A',B')} sind Paare ( f , g ) {\displaystyle (f,g)} von Morphismen, wobei g ∈ Hom C ⁡ ( B , B ′ ) {\displaystyle g\in \operatorname {Hom} _{C}(B,B')} und f ∈ Hom C o p ⁡ ( A , A ′ ) = Hom C ⁡ ( A ′ , A ) {\displaystyle f\in \operatorname {Hom} _{C^{op}}(A,A')=\operatorname {Hom} _{C}(A',A)} ist, und es ist ( f , g ) ∘ ( f ′ , g ′ ) = ( f ′ ∘ f , g ∘ g ′ ) {\displaystyle (f,g)\circ (f',g')=(f'\circ f,g\circ g')} , soweit definiert.

Insbesondere erhält man so zu einem festen Objekt A ∈ Ob ⁡ ( C ) {\displaystyle A\in \operatorname {Ob} (C)} einen kovarianten Funktor Hom ⁡ ( A , − ) {\displaystyle \operatorname {Hom} (A,-)} und einen kontravarianten Funktor Hom ⁡ ( − , A ) {\displaystyle \operatorname {Hom} (-,A)} von C {\displaystyle C} nach Set, die sogenannten partiellen Hom-Funktoren.

Im Allgemeinen ist Hom ⁡ ( A , B ) {\displaystyle \operatorname {Hom} (A,B)} lediglich eine Menge (falls die Kategorie lokal klein ist) und trägt selbst nicht automatisch eine zusätzliche Struktur, abgesehen etwa davon, dass die Endomorphismen End ⁡ ( A ) := Hom ⁡ ( A , A ) {\displaystyle \operatorname {End} (A):=\operatorname {Hom} (A,A)} unter Komposition ein Monoid mit id A {\displaystyle \operatorname {id} _{A}} als neutralem Element bilden. Sind jedoch beispielsweise die Objekte von C {\displaystyle {\mathcal {C}}} abelsche Gruppen oder R {\displaystyle R} -Moduln für einen Ring R {\displaystyle R} , so können Homomorphismen punktweise addiert und/oder mit Elementen aus R {\displaystyle R} multipliziert werden, und somit bildet Hom C ⁡ ( A , B ) {\displaystyle \operatorname {Hom} _{\mathcal {C}}(A,B)} dann selbst eine abelsche Gruppe bzw. einen R {\displaystyle R} -Modul. Man überprüft dann unmittelbar, dass die oben definierten Zuordnungen hiermit verträglich sind und dass somit Hom {\displaystyle \operatorname {Hom} } in diesen Fällen sogar als Funktor in die Kategorie Ab der abelschen Gruppen bzw. die Kategorie R {\displaystyle R} -Mod der R {\displaystyle R} -Moduln aufgefasst werden kann.

Je nach betrachteter Kategorie C {\displaystyle {\mathcal {C}}} sind weitere solche Zusatzstrukturen auf Hom ⁡ ( A , B ) {\displaystyle \operatorname {Hom} (A,B)} möglich. Das heißt, Hom ⁡ ( A , B ) {\displaystyle \operatorname {Hom} (A,B)} wird als Objekt einer Kategorie, die nicht unbedingt die Kategorie der Mengen ist, aufgefasst. Allgemein spricht man von einer über einer Kategorie D {\displaystyle {\mathcal {D}}} angereicherten Kategorie (auch: D {\displaystyle {\mathcal {D}}} -Kategorie), wenn der Hom-Funktor auf C {\displaystyle {\mathcal {C}}} ein Funktor in die Kategorie D {\displaystyle {\mathcal {D}}} ist und eine gewisse Verträglichkeit aufweist, die unterschiedlich gewählt werden kann, etwa mit einer gewählten monoidalen Struktur auf D {\displaystyle {\mathcal {D}}} . Jede lokal kleine Kategorie ist über der Kategorie der Mengen mit dem kartesischen Produkt als monoidaler Struktur angereichert. Eine präadditive Kategorie ist eine über der Kategorie der abelschen Gruppen mit dem üblichen Tensorprodukt angereicherte Kategorie.

Auch über ganz simplen Kategorien, deren Objekte keine Mengen sind, kann man anreichern. Die Kategorie 2 := { ∙ 0 → ∙ 1 } {\displaystyle \mathbf {2} :=\{{\stackrel {0}{\bullet }}\to {\stackrel {1}{\bullet }}\}} habe zwei Objekte und neben den Identitäten einen interessanten Pfeil zwischen den Objekten. Sie hat endliche Produkte als monoidale Struktur. Unter dieser ist eine 2 {\displaystyle \mathbf {2} } -Kategorie eine Quasiordnung. Die Quasiordnung ( R + , ≥ ) {\displaystyle (\mathbb {R} ^{+},\geq )} kann mit Summen- („ R + + {\displaystyle \mathbb {R} _{+}^{+}} “) oder Maximumsbildung („ R m a x + {\displaystyle \mathbb {R} _{\mathrm {max} }^{+}} “) als monoidale Struktur ausgestattet werden. Man erhält als R + + {\displaystyle \mathbb {R} _{+}^{+}} -Kategorien verallgemeinerte metrische Räume, und als R m a x + {\displaystyle \mathbb {R} _{\mathrm {max} }^{+}} -Kategorien Mengen mit verallgemeinerter Ultrametrik. (Die Verallgemeinerung besteht darin, dass Symmetrie nicht gefordert wird und Punkte mit einem Abstand von Null nicht identisch sein müssen.)

Bei der Untersuchung abelscher Kategorien spielt auch der Ext-Funktor, der abgeleitete Funktor zu Hom, eine wichtige Rolle.