| http://www.w3.org/ns/prov#value | - For, there is an alternative definition for the projective resolution of a chain complex that is - in my opinion - much more elegant and easier to work with than with Cartan-Eilenberg's definition: A projective resolution of the chain complex $C$ is a complex $P$ of projectives together with a quasi-isomorphism $f: P o C$ (i.e. $f$ is a chain map such that $H_n(f): H_n(P) o H_n(C)$ is an isomo
|
