Additive Kategorie/Definition

Aus Wikiversity
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.