Minimal Models / Cohomology Categories

Dividing out "homotopy", i.e. taking cohomology, of the hom sets, removes cohomologically uninteresting information and makes the categories much handier.
We see how we can apply this to previous examples to obtain different cohomology theories.