Persistent Obstruction Theory for a Model Category of Measures with Applications to Data Merging. (arXiv:1911.11837v1 [math.AT])
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…