Homological Algebra: In Strongly Non-Abelian Settings