Assignments to sheaves of pseudometric spaces
arXiv:1805.08927 · doi:10.32408/compositionality-2-2
Abstract
An assignment to a sheaf is the choice of a local section from each open set in the sheaf's base space, without regard to how these local sections are related to one another. This article explains that the consistency radius -- which quantifies the agreement between overlapping local sections in the assignment -- is a continuous map. When thresholded, the consistency radius produces the consistency filtration, which is a filtration of open covers. This article shows that the consistency filtration is a functor that transforms the structure of the sheaf and assignment into a nested set of covers in a structure-preserving way. Furthermore, this article shows that consistency filtration is robust to perturbations, establishing its validity for arbitrarily thresholded, noisy data.
References in corpus (1)
Cited by in corpus (9)
- Topological Differential Testing
- Approximate and discrete Euclidean vector bundles
- Categorical semantics of metric spaces and continuous logic
- Super-resolving star clusters with sheaves
- Path Optimization Sheaves
- Sheaf-theoretic framework for optimal network control
- Bounding the Interleaving Distance for Mapper Graphs with a Loss Function
- Interleaving Mayer-Vietoris spectral sequences
- Sheaf Theory through Examples (Abridged Version)