Homological algebra and data
morse theory for filtrations and efficient computation of persistent homology .