Additive Kategorie/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Additive Kategorie

Eine Kategorie heißt additive Kategorie, wenn sie die folgenden Bedingungen erfüllt.

  1. Für Objekte ist eine abelsche Gruppe.
  2. Die Verknüpfungsabbildungen

    sind -bilinear.

  3. Es gibt ein Nullobjekt .
  4. Es gibt endliche direkte Summen.
  5. Es gibt endliche direkte Produkte.