PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: Very high
[parent] additive functor (Definition)

Let $\mathcal{A}$ and $\mathcal{B}$ be ab-categories. A functor $F:\mathcal{A}\to \mathcal{B}$ is called an additive functor if, for any objects $A,B$ in $\mathcal{A}$ the function $$F_{(A,B)}: \hom(A,B)\to \hom(F(A),F(B))$$ given by $F_{(A,B)}(f)=F(f)$ is a group homomorphism. In other words, if $f,g: A\to B$ are two morphisms with common domain $A$ and codomain $B$ then $$F(f+g)=F(f)+F(g).$$

For example, the hom functor $\hom(A,-)$ where $A$ is an object in an abelian category, is additive.

Remark. It can be shown that any exact functor between abelian categories is additive.

More to come...




"additive functor" is owned by CWoo.
(view preamble | get metadata)

View style:

See Also: preadditive functor, category of additive fractions


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: exact functor, additive, abelian category, hom functor, codomain, domain, morphisms, group homomorphism, function, objects, functor, ab-categories
There are 4 references to this entry.

This is version 2 of additive functor, born on 2008-06-12, modified 2008-06-13.
Object id is 10698, canonical name is AdditiveFunctor.
Accessed 932 times total.

Classification:
AMS MSC18E05 (Category theory; homological algebra :: Abelian categories :: Preadditive, additive categories)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)