Homological Algebra: In Strongly Non-abelian Settings