Homology object (source code)

= Homology object
{title2=$H_n(A_\bullet)$}

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