Theory of interleavings on categories with a flow

MaRDI QIDQ4563245zbMATH OpenFDO

Authors Vin de Silva, Elizabeth Munch, Anastasios Stefanou

Publication date 7 June 2018

Full work available at URL https://arxiv.org/abs/1706.04095, http://www.tac.mta.ca/tac/volumes/33/21/33-21abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

persistent homologytopological data analysiscategory theoryinterleaving distanceLawvere metric spaces

Mathematics Subject Classification ID

Singular homology and cohomology theory (55N10) Theories (e.g., algebraic theories), structure, and semantics (18C10) Enriched categories (over closed or monoidal categories) (18D20) Monoidal categories, symmetric monoidal categories (18M05) 2-categories, bicategories, double categories (18N10) Actions of a monoidal category, tensorial strength (18D25)

Abstract: The interleaving distance was originally defined in the field of Topological Data Analysis (TDA) by Chazal et al. as a metric on the class of persistence modules parametrized over the real line. Bubenik et al. subsequently extended the definition to categories of functors on a poset, the objects in these categories being regarded as `generalized persistence modules'. These metrics typically depend on the choice of a lax semigroup of endomorphisms of the poset. The purpose of the present paper is to develop a more general framework for the notion of interleaving distance using the theory of `actegories'. Specifically, we extend the notion of interleaving distance to arbitrary categories equipped with a flow, i.e. a lax monoidal action by the monoid $[0,infty)$. In this way, the class of objects in such a category acquires the structure of a Lawvere metric space. Functors that are colax $[0,infty)$-equivariant yield maps that are $1$-Lipschitz. This leads to concise proofs of various known stability results from TDA, by considering appropriate colax $[0,infty)$-equivariant functors. Along the way, we show that several common metrics, including the Hausdorff distance and the $L^{infty}$-norm, can be realized as interleaving distances in this general perspective.

Recommendations

• FACTORIZATION OF FLOWS AND COMPLETENESS OF CATEGORIES
• Interpolation categories for homology theories
• scientific article; zbMATH DE number 2200187
• A calculus for flow categories
• Interpolations of monoidal categories and algebraic structures by invariant theory
• Elements of \(\infty\)-category theory
• Flows revisited: the model category structure and its left determinedness
• Flow equivalence of diagram categories and Leavitt path algebras
• Cartesian integral categories and contextual integral categories
• Involutive category theory

Cites work

• scientific article; zbMATH DE number 3522182 (Why is no real title available?)
• scientific article; zbMATH DE number 3587195 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3106699 (Why is no real title available?)
• A note on actions of a monoidal category
• Basic Category Theory
• Categorification of persistent homology
• Categorified Reeb graphs
• Computational topology. An introduction
• Induced matchings of barcodes and the algebraic stability of persistence
• Introduction to bicategories
• Metrics for generalized persistence modules
• Proximity of persistence modules and their diagrams
• Stability of persistence diagrams
• The structure and stability of persistence modules
• The theory of the interleaving distance on multidimensional persistence modules
• Theory of interleavings on categories with a flow
• Topological persistence and simplification
• Tree decomposition of Reeb graphs, parametrized complexity, and applications to phylogenetics

Cited in

(18)

• \(A_\infty\) persistent homology estimates detailed topology from pointcloud datasets
• Realizable piecewise linear paths of persistence diagrams with Reeb graphs
• FACTORIZATION OF FLOWS AND COMPLETENESS OF CATEGORIES
• Exact weights, path metrics, and algebraic Wasserstein distances
• Universality of the homotopy interleaving distance
• Generalized persistence diagrams
• Steady and ranging sets in graph persistence
• Interleaving by parts: join decompositions of interleavings and join-assemblage of geodesics
• The fiber of the persistence map for functions on the interval
• Categorification of persistent homology
• Evolutionary homology on coupled dynamical systems with applications to protein flexibility analysis
• Topological spaces of persistence modules and their properties
• Thickening of the diagonal and interleaving distance
• Ladder decomposition for morphisms of persistence modules
• Theory of interleavings on categories with a flow
• Ephemeral persistence modules and distance comparison
• Decorated merge trees for persistent topology
• Interleavings and matchings as representations

This page was built for publication: Theory of interleavings on categories with a flow

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4563245)