Zum Inhalt springen

Kategorie/Direkte Summe/Definition

Aus Wikiversity
Direkte Summe (Kategorie)

Es sei eine Kategorie und , , eine Familie von Objekten aus . Man nennt ein Objekt

zusammen mit Morphismen eine direkte Summe (oder ein Koprodukt), wenn es zu jedem Objekt und jeder Morphismenfamilie einen eindeutigen Morphismus mit gibt.