PlanetPhysics/Preadditive Functor

From testwiki
Revision as of 15:51, 12 September 2020 by imported>MaintenanceBot (Cleanup)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

\newcommand{\sqdiagram}[9]{Failed to parse (unknown function "\diagram"): {\displaystyle \diagram #1 \rto^{#2} \dto_{#4}& \eqno{\mbox{#9}}} }

 A [[../TrivialGroupoid/|functor]] between two preadditive [[../Cod/|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 [[../TrivialGroupoid/|morphisms]] Failed to parse (unknown function "\A"): {\displaystyle f, g \in Hom_{\mathcal{\A_P}}(X,Y)} one has that F(f+g)=F(f)+F(g).

Template:CourseCat