Kategoria addytywna: Różnice pomiędzy wersjami

[wersja przejrzana][wersja przejrzana]
Usunięta treść Dodana treść
KamikazeBot (dyskusja | edycje)
Ianushii (dyskusja | edycje)
→‎Bibliografia: Fraktur to zły pomysł.
Linia 1:
Kategoria <math>\mathfrakbold{AC}</math> jest '''addytywna''', jeśli:
* Dla dowolnych dwóch obiektów <math>A, B \in Ob(\mathfrakbold{AC})</math> na zbiorze <math>Mor(A, B)\;</math> dana jest struktura grupy abelowej.
* Złożenie morfizmów jest rozdzielne względem dodawania (na grupach <math>Mor(A, B)\;</math>)
* W <math>\mathfrakbold{AC}</math> istnieje [[obiekt zerowy]]<ref>Semadeni, Wiweger, op. cit., s.251</ref>.