extend(D,C,f0) -- produces a lifting of a map f0 : D_0 <--- C_0 to a map f: D <--- C of chain complexes of degree 0.
Ways to use extend :