Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
@MartinBrandenburg I'll trust your first guess on this. My main motivation was doing some form of homological algebra with it. Protomodularity etc. was just something that came to my mind, I don't have enough experience with similar categories to make an educated guess.
@Z.M thank you for your comment. I think it's not quite the right category for group homology (coinvariants is not defined on it), but there's a slight variation that is the correct setting for group homology. Could one maybe define group cohomology as some "animated Ext" (if that makes sense)?