Kategoria addytywna

Kategoria $\mathfrak{A}$ jest addytywna, jeśli:

• Dla dowolnych dwóch obiektów $A, B \in Ob(\mathfrak{A})$ 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 $\mathfrak{A}$ istnieje obiekt zerowy.

Bibliografia

1. Semadeni Z., Wiweger A.: Wstęp do teorii kategorii i funktorów. Warszawa: PWN, 1978. 
2. Eilenberg S., Mac Lane S.. „Trans. Amer. Math. Soc.”. 58, s. 231-294, 1945. Amer. Math. Soc.. 
3. Bucur I., Deleanu A.: Introduction to the Theory of Categories and Functors (tłum. ros.). Москва: Мир, 1972. 
4. Gabriel P., Zisman M.: Calculus of Fractions and Homotopy Theory (tłum. ros.). Москва: Мир, 1971.