feat(algebra/homology): short exact sequences (#14009)
Migrating from LTE. (This is all Johan and Andrew's work, I think, I just tidied up some.)
Please feel free to push changes directly without consulting me. :-)
Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
