Categorification of persistent homology

Abstract

We redevelop persistent homology (topological persistence) from a categorical point of view. The main objects of study are diagrams, indexed by the poset of real numbers, in some target category. The set of such diagrams has an interleaving distance, which we show generalizes the previously-studied bottleneck distance. To illustrate the utility of this approach, we greatly generalize previous stability results for persistence, extended persistence, and kernel, image and cokernel persistence. We give a natural construction of a category of interleavings of these diagrams, and show that if the target category is abelian, so is this category of interleavings.

27 pages, v3: minor changes, to appear in Discrete & Computational Geometry

Cited by in corpus (36)

• A roadmap for the computation of persistent homology
• A persistence landscapes toolbox for topological statistics
• Metrics for generalized persistence modules
• Using persistent homology and dynamical distances to analyze protein binding
• Analysis of Kolmogorov Flow and Rayleigh-Bénard Convection using Persistent Homology
• Generalized Persistence Diagrams
• The persistence landscape and some of its properties
• Topological consistency via kernel estimation
• Categorified Reeb Graphs
• Generalized Persistence Diagrams for Persistence Modules over Posets
• Protein folding analysis using features obtained by persistent homology
• Spatio-temporal Persistent Homology for Dynamic Metric Spaces
• The ${\ell }^{\infty }$-Cophenetic Metric for Phylogenetic Trees as an Interleaving Distance
• Quantitative analysis of phase transitions in two-dimensional XY models using persistent homology
• Persistence Diagrams as Diagrams: A Categorification of the Stability Theorem
• Evolutionary homology on coupled dynamical systems
• Topological spaces of persistence modules and their properties
• Homological approximations in persistence theory
• A computational framework for connection matrix theory
• Universality of persistence diagrams and the bottleneck and Wasserstein distances
• Homological Algebra for Persistence Modules
• Persistent Magnitude
• Higher interpolation and extension for persistence modules
• Exact weights, path metrics, and algebraic Wasserstein distances
• Partial Matchings Induced by Morphisms between Persistence Modules
• Homological eigenvalues of graph $p$-Laplacians
• Critical edges in Rips complexes and persistence
• Rectification of interleavings and a persistent Whitehead theorem
• The Representation Theorem of Persistent Homology Revisited and Generalized
• Functorial Manifold Learning
• Grounded persistent path homology: a stable, topological descriptor for weighted digraphs
• Multi-Parameter Persistence Modules are Generically Indecomposable
• A stability theorem for bigraded persistence barcodes
• Stability for Inference with Persistent Homology Rank Functions
• Stability and Extension of Steady and Ranging Persistence
• Persistent Homology of Music Network with Three Different Distances