PlanetPhysics/Preadditive Functor
Appearance
\newcommand{\sqdiagram}[9]{Failed to parse (unknown function "\diagram"): {\displaystyle \diagram #1 \rto^{#2} \dto_{#4}& \eqno{\mbox{#9}}} }
A functor between two preadditive categories Failed to parse (unknown function "\A"): {\displaystyle \mathcal{\A_P}} and Failed to parse (unknown function "\A"): {\displaystyle \mathcal{\A'_P}} is called a (pre) additive (or preadditive) functor ,
if for any pair of morphisms Failed to parse (unknown function "\A"): {\displaystyle f, g \in Hom_{\mathcal{\A_P}}(X,Y)} one has that .