Kobild

Kobild

In der Kategorientheorie ist ein Bild eines Morphismus fX → Y ein Unterobjekt i: im f → Y von Y, das die folgende universelle Eigenschaft hat:

Ist tT → Y ein Morphismus aus einem Testobjekt T, so dass t über f faktorisiert, so gibt es genau einen Morphismus cT → im f mit
t=i\circ c.

Das Kobild eines Morphismus fX → Y ist der duale Begriff: ein Kobild ist ein Quotientenobjekt pX → coim f von X, das die folgende universelle Eigenschaft hat:

Ist tX → T ein Morphismus in ein Testobjekt T, so dass t über f faktorisiert, so gibt es genau einen Morphismus c: coim f → T mit
t=c\circ p.

In Kategorien mit Kern und Kokern ist jeder Kern eines Kokerns von f ein Bild von f, jeder Kokern des Kernes ein Kobild.

In abelschen Kategorien wie den Kategorien der Vektorräume oder abelschen Gruppen stimmen Bild und Kobild überein. In den genannten Kategorien sind sie auch gleich dem mengentheoretischen Bild.


Wikimedia Foundation.

Игры ⚽ Поможем решить контрольную работу

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Bild (Kategorientheorie) — In der Kategorientheorie ist ein Bild eines Morphismus ein Unterobjekt von Y, das die folgende universelle Eigenschaft hat: Es gibt einen Morphismus mit f = hg. Für jedes Unterobjekt , das obige Eigenschaft erfüllt (f = lk) …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”