homology functor
1. Definition / Proposition
Let 
be the category of chain complexes for an abelian category 
, then the homology functor is defined as
where
is given as colimit
- the morphism is given as morphism induced by
see:
Let be the category of chain complexes for an abelian category , then the homology functor is defined as
where
is given as colimit
see:
Date: nil
Created: 2024-10-13 So 15:55