Kategoria addytywna

Z testwiki
Przejdź do nawigacji Przejdź do wyszukiwania

Kategoria 𝐂 jest addytywna, jeśli:

  • Dla dowolnych dwóch obiektów A,BOb(𝐂) na zbiorze Mor(A,B) dana jest struktura grupy abelowej.
  • Złożenie morfizmów jest rozdzielne względem dodawania (na grupach Mor(A,B))
  • W 𝐂 istnieje obiekt zerowy[1].

Przypisy

Szablon:Przypisy

Bibliografia

Literatura dodatkowa

  1. Semadeni, Wiweger, op. cit., s. 251.