Kategoria addytywna

Z testwiki
Wersja z dnia 13:23, 17 sie 2021 autorstwa imported>Tarnoob (Bibliografia: linki)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
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.