Enough projective objects in the category of cochains

I'm trying to solve the following problem:

Suppose that $\mathcal{A}$ is an abelian category which has enough projective objects (i.e. for every $A\in \mathcal{A}$ there is $P\in\mathcal{A}$ projective and an epimorphism $P\to A\to 0$). Let $\mathcal{Ch(A)}$ be the category of cochains in $\mathcal{A}$. Prove that $\mathcal{Ch(A)}$ has enough projective objects.

Remember the following lemma: $P^{\circ}$ is projective in $\mathcal{Ch(A)}$ $\iff$ $P^n$ is projective $\forall n$ and $P^{\cdot}$ is contractible (i.e. both exact and split).

Hint: The building blocks for the projectives in $\text{Ch}({\mathscr A})$ are the complexes $\ldots\to 0\to P\to P\to 0\to\ldots$ with $P\in\text{Proj}({\mathscr A})$. Also, consider the case of a stalk complex $\ldots\to 0\to X\to 0\to\ldots$ first.

If i have $A\in\mathcal{Ch(A)}$, i can find for each $n\in\mathbb{Z}$ an epimorphism $\gamma^n:P^n\to A^n$. Let $d_A^n:A^n\to A^{n+1}$ so we have also morphisms $d_A^n\circ\gamma^n:P^n\to A^{n+1}$. By projective property we can find $\alpha^n:P^n\to P^{n+1}$ s.t. $d_A^n\circ \gamma^n=\gamma^{n+1}\circ\alpha^n$

But the discovered $\alpha^n$ doesn't give a cochain. So using the ideas of the building blocks we consider the following chain $P^n\oplus P^{n+1}\to P^{n+1}\oplus P^{n+2}$ with maps $\left[\begin{matrix}\alpha^n &id_{P^{n+1}}\\ 0&0\end{matrix}\right]$ It's split and exact by building. We map it to $A^{\cdot}$ in such way: $[\gamma^n\;\;0]:P^n\oplus P^{n+1}\to A^n$. It is a map of cochain

• Your answer is wrong. Your differentials are not differentials. – XT Chen Oct 25 at 13:45