  My short answer to this question is that homology is powerful because it
computes invariants of higher categories. In this article we show how this true
by taking a leisurely tour of the connection between category theory and
homological algebra.
