in an earlier attempt of mine to understand things, some decades ago actually, i had the idea that homological algebra (or something...) wasn't so much about "measuring failure of exactness" as "measuring the discrepancy between kernels and homotopy kernels" ... or something like that...

??so from the viewpoint that i'm trying to develop now, it seems interesting to take a look back at how much sense that earlier idea makes now...