Open Collections

Classical Metric Properties for Categories with the Interleaving Distance

Banff International Research Station for Mathematical Innovation and Discovery

Completeness, separability, and characterization of the precompact subsets are important for doing probability and statistics on a metric space, using tools like Prokhorov's Theorem. Recently in applied topology, a common type of (pseudo/quasi)metric space is an interleaving distance on a category. We relate the metric limit of a Cauchy sequence in such a space to the categorical limit of a corresponding diagram. Using this, we show that many familiar examples in the applied topology literature are metrically complete. We also study separability and precompactness for some familiar examples. Finally, we show how this new understanding can be used to prove results about probability and statistics on these spaces.

Mathematics; Algebraic topology; Statistics

video/mp4

Author affiliation: Duke University

2019-03-24

Attribution-NonCommercial-NoDerivatives 4.0 International

http://hdl.handle.net/2429/69160

Unreviewed

http://creativecommons.org/licenses/by-nc-nd/4.0/