Homological algebra first arose as a language for describing topological prospects of geometrical objects. As with every successful language it quickly expanded its coverage and semantics, and its ...