(quote _,ChainComplexMap,ZZ)
p_i
-- for a map p : C -> D of chain complexes of degree d, provides the component p_i : C_i -> D_(i+d).
See also
ChainComplexMap
.