Can homological algebra be done with nonabelian groups? In particular, can homology or cohomology be defined on chain complexes of nonabelian groups? I know that Abelian categories are the choice settings for homological algebra, but the notions of kernel and cokernel (which seem to be all that is necessary to define homology) seem to make sense for nonabelian groups as well, if we define $\operatorname{coker}(f : G \to H)$ to be the quotient of $H$ by the normal subgroup generated by $\operatorname{im} f$.
For example, given a sequence of nonabelian groups $$ \dotsb \to C_3 \xrightarrow{\partial_3} C_2 \xrightarrow{\partial_2} C_1 \xrightarrow{\partial_1} C_0 \to 0 $$ with $\partial_{n} \circ \partial_{n+1} = 0$, is it useful to define the homology groups $H_n(C_\bullet) = \ker \partial_n/N$, where $N$ is the normal subgroup generated by $\operatorname{im} \partial_{n+1}$? By useful I mean whether it respects homological algebra, assembles into useful long exact sequences, all the usual stuff.
There's no reason to expect this to be useful, and as far as I know it's not. An abstract conceptual way to think about where homological algebra comes from is the Dold-Kan correspondence, which says that nonnegatively graded chain complexes of abelian groups (for simplicity) are equivalent to simplicial abelian groups, and this equivalence sends the homology groups of a chain complex to the simplicial homotopy groups of the corresponding simplicial abelian group. Why you would care about simplicial abelian groups is a long story, but the short version is that they have the same homotopy theory as topological abelian groups.
The Dold-Kan correspondence is valid more generally with abelian groups replaced by an abelian category, but is not at all valid for groups: simplicial groups (which hav the same homotopy theory as topological groups, which are very interesting!) are much more complicated than chain complexes of groups.