Algebraic Foundations for Applied Topology and Data Analysis