Abstract:Collections of measures on compact metric spaces form a model category (“data complexes”), whose morphisms are marginalization integrals. The fibrant objects in this category represent collections of measures in which there is a measure on a product space that marginalizes to any measures on pairs of its factors. The homotopy and homology for this category allow measurement of obstructions to finding measures on larger and larger product spaces. The obstruction theory is compatible with a fibrant filtration built from the Wasserstein distance on measures. Despite the abstract tools, this is motivated by a widespread problem in data science. Data complexes provide a mathematical foundation for semi-automated data-alignment tools that are common in commercial database software. Practically speaking, the theory shows that database JOIN operations are subject to genuine topological obstructions. Those obstructions can be detected by an obstruction cocycle and can be resolved by moving through a filtration. Thus, any collection of databases has a persistence level, which measures the difficulty of JOINing those databases. Because of its general formulation, this persistent obstruction theory also encompasses multi-modal data fusion problems, some forms of Bayesian inference, and probability couplings.

Obstructions in a model category and Klein and Williams' intersection invariants

Invariants of structures

Persistent obstruction theory for a model category of measures with applications to data merging

Model categories for o-minimal geometry

Obstruction theory for the $\mathbb{Z}_2$-index of $4$-manifolds

Obstructions to almost complex structures following Massey

On Colimits and Model Structures in Various Categories of Manifolds

On the Model Theory of Open Incidence Structures: The Rank 2 Case

Frobenius-Perron theory for projective schemes

On the relation between lifting obstructions and ordinary obstructions

Brauer-Manin obstructions to integral points

Model Structures on Exact Categories

Isotopy invariants for closed braids and almost closed braids via loops in stratified spaces

Intermediate Jacobians and linearizability

Categorical generalisations of quantum double models

Invariants for links and 3-manifolds from the modular category with two simple objects

Model structure arising from one hereditary cotorsion pair on extriangulated categories

Multifunctorial Inverse $K$-Theory

Homological mirror symmetry for complete intersections in algebraic tori

Topological invariance of torsion sensitive intersection homology

Semi-Perfect Obstruction theory and DT Invariants of Derived Objects