 Homology object

The homology object is $H_n=\ker d_n/\mathrm{im}{d}_{n+1}$, formed categorically as the cokernel of the image-to-kernel monomorphism.