Kategorie/Direkte Summe/Definition
Erscheinungsbild
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.