Short complexes

Extensions of Mathlib's ShortComplex: homology commutes with exact colimits.