# Bimorphismus

Bimorphismus ist ein Begriff aus dem mathematischen Teilgebiet der Kategorientheorie.

## Definition

Ein Morphismus einer Kategorie heißt Bimorphismus, wenn er Epimorphismus und Monomorphismus ist.

## Abgrenzung

Die lateinische Vorsilbe bi bedeutet zwei. Da ein Bimorphismus durch zwei Eigenschaften definiert wird, ist obige Definition damit naheliegend. Manche Autoren bezeichnen aber auch spezielle Abbildungen, die auf einem Produkt zweier Objekte definiert sind, als Bimorphismen, da diese Abbildungen in zwei Variablen verallgemeinern. Das hat mit dem hier behandelten Begriff nichts zu tun.

## Bemerkungen

* Dieser Begriff hängt, genau wie der des Epi- und Monomorphismus, von der umgebenden Kategorie ab. Bei Verkleinerung oder Vergrößerung der Kategorie kann diese Eigenschaft verloren gehen. Siehe dazu die unten gegebenen Beispiele.
* Der Begriff ist selbstdual, das heißt ist ein Morphismus in einer Kategorie Bimorphismus, so ist derselbe Morphismus, aufgefasst als Morphismus in der dualen Kategorie, ebenfalls Bimorphismus. Das ist klar, da die Begriffe Epi- zu Monomorphismus zueinander dual sind.
* Kompositionen von Bimorphismen sind offenbar wieder Bimorphismen, da die Eigenschaften Epi- und Monomorphismus bei Kompositionen erhalten bleiben.

## Vergleich mit Isomorphismen

Offenbar bestehen folgende Beziehungen zu Retraktionen und Schnitten und extremen Epi- und Monomorphismen:
    ${\begin{array}{ccccccc}{\text{Isomorphismus}}&\Rightarrow &{\text{Retraktion}}&\Rightarrow &{\text{extremer Epimorphismus}}&\Rightarrow &{\text{Epimorphismus}}\\{\text{Isomorphismus}}&\Rightarrow &{\text{Schnitt}}&\Rightarrow &{\text{extremer Monomorphismus}}&\Rightarrow &{\text{Monomorphismus}}\end{array}}$
Dass umgekehrt ein Bimorphismus nicht unbedingt ein Isomorphismus ist, begründet den hier besprochenen Begriff des Bimorphismus, siehe Beispiele unten. Welche Umkehrungen hier gelten, zeigt folgender Satz.
Für einen Bimophismus $f$ sind folgende Aussagen äquivalent:
* $f$ ist ein Isomorphismus
* $f$ ist ein Epimorphismus und extremer Monomorphismus
* $f$ ist ein Monomorphismus und extremer Epimorphismus

## Beispiele

* Nach obigem ist jeder Isomorphismus ein Bimorphismus. Kategorien, in denen stets die Umkehrung gilt, heißen ausgeglichen.
* Fasst man eine quasigeordnete Menge $(X,\leq )$ in üblicher Weise als Kategorie auf, das heißt die Objekte sind die Elemente von $X$ und für $x,y\in X$ ist $\mathrm {Hom} (x,y)$ einelementig, falls $x\leq y$, und leer anderenfalls, dann ist in dieser Kategorie jeder Morphismus ein Bimorphismus.
* In der Kategorie der abelschen, teilbaren Gruppen und den Gruppenhomomorphismen ist die Quotientenabbildung $f\colon \mathbb {Q} \rightarrow \mathbb {Q} /\mathbb {Z}$ ein Bimorphismus, der kein Isomorphismus ist. In der größeren Kategorie aller Gruppen ist $f$ kein Monomorphismus.
* In der Kategorie der abelschen, torsionsfreien Gruppen ist die Inklusion $i\colon \mathbb {Z} \rightarrow \mathbb {Q}$ ein Bimorphismus, der kein Isomorphismus ist. In der größeren Kategorie aller Gruppen ist $i$ kein Epimorphismus.
* Ist ${\mathcal {C}}$ eine konkrete Kategorie, das heißt die Objekte haben unterliegende Mengen (per Vergissfunktor) und die Morphismen sind Abbildungen zwischen diesen Mengen, so ist jeder Morphismus, der eine bijektive Abbildung zwischen den unterliegenden Mengen ist, ein Bimorphismus.
* Seien $\tau _{1}$ und $\tau _{2}$ zwei Topologien auf einer Menge $X$ mit einer echten Inklusionsbeziehung $\tau _{1}\varsubsetneqq \tau _{2}$. Dann ist $\mathrm {id} _{X}:(X,\tau _{2})\rightarrow (X,\tau _{1})$ ein Bimorphismus, der kein Homöomorphismus ist, das heißt kein Isomorphismus in der Kategorie der topologischen Räume. Dies ist ein Beispiel eines Morphismus mit unterliegender bijektiver Abbildung.
* In der Kategorie aller Hausdorffräume ist jede injektive, stetige Abbildung mit dichtem Bild ein Bimorphismus. Dies zeigt, das Bimorphismen mit unterliegenden Abbildungen zwischen Mengen nicht notwendig bijektiv sein müssen.
* In der Kategorie der differenzierbaren Mannigfaltigkeiten mit den differenzierbaren Abbildungen als Morphismen ist $f:\mathbb {R} \rightarrow \mathbb {R} ,\,x\mapsto x^{3}$ ein Bimorphismus, der kein Diffeomorphismus ist, das heißt kein Isomorphismus in der Kategorie der differenzierbaren Mannigfaltigkeiten.

## Ein Faktorisierungssatz

Bimorphismen sind in folgendem Faktorisierungssatz das Bindeglied in der Faktorisierung eines Morphismus in extreme Mono- und Epimorphismen.
Es sei ${\mathcal {C}}$ eine Kategorie mit folgenden drei Eigenschaften:
* ${\mathcal {C}}$ ist endlich vollständig.
* Zu jedem Objekt ist die Klasse der Äquivalenzklassen der Unterobjekte eine Menge.
* ${\mathcal {C}}$ besitzt Durchschnitte.
Dann besitzt jeder Morphismus $f$ in ${\mathcal {C}}$ eine Faktorisierung $f=m\circ b\circ e$, wobei $e$ ein extremer Epimorphismus, $b$ ein Bimorphismus und $m$ ein extremer Monomorphismus ist. Diese Faktorisierung ist bis auf Isomorphismen eindeutig, allgemeiner gilt: Ist
${\begin{array}{ccc}\bullet &{\xrightarrow[]{f}}&\bullet \\{\Bigg \downarrow }_{g}&&{\Bigg \downarrow }_{h}\\\bullet &{\xrightarrow[]{f'}}&\bullet \end{array}}$
ein kommutatives Quadrat und sind $f=m\circ b\circ e$ und $f'=m'\circ b'\circ e'$ Faktorisierungen der oben genannten Art, so gibt es eindeutige Morphismen $k_{1},k_{2}$, die
${\begin{array}{ccccccc}\bullet &{\xrightarrow[]{e}}&\bullet &{\xrightarrow[]{b}}&\bullet &{\xrightarrow[]{m}}&\bullet \\{\Bigg \downarrow }_{g}&&{\Bigg \downarrow }_{k_{1}}&&{\Bigg \downarrow }_{k_{2}}&&{\Bigg \downarrow }_{h}\\\bullet &{\xrightarrow[]{e'}}&\bullet &{\xrightarrow[]{b'}}&\bullet &{\xrightarrow[]{m'}}&\bullet \end{array}}$
zu einem kommutativen Diagramm machen.
(Wählt man speziell $f=f'$ und $g$ und $h$ als identische Morphismen, so müssen $k_{1}$ und $k_{2}$ Isomorphismen sein, und man erhält die Eindeutigkeit der Faktorisierung bis auf Isomorphismen.)