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^[1].

Przypisy

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

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.
Gabriel P., Zisman M.: Calculus of Fractions and Homotopy Theory (tłum. ros.). Москва: Мир, 1971.

Źródło: „https://pl.wikipedia.org/w/index.php?title=Kategoria_addytywna&oldid=64317984”