Before revision: Proximity complexes and filtrations are a central construction in topological data analysis.
After revision: Proximity complexes and filtrations are central constructions in topological data analysis.