Kategoria addytywna

Kategoria $\mathbf {C}$ jest addytywna, jeśli:

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

Bibliografia

• Zbigniew Semadeni, Antoni Wiweger: Wstęp do teorii kategorii i funktorów. Warszawa: Państwowe Wydawnictwo Naukowe, 1978.

Literatura dodatkowa

• Eilenberg S., Mac Lane S. „Trans. Amer. Math. Soc.”. 58, s. 231–294, 1945. Amer. Math. Soc.. 
• Bucur I., Deleanu A.: Introduction to the Theory of Categories and Functors (tłum. ros.). Москва: Мир, 1972.brak strony w książce
• Gabriel P., Zisman M.: Calculus of Fractions and Homotopy Theory (tłum. ros.). Москва: Мир, 1971.brak strony w książce