Abstract:We adapt previous research on category theory and topological unsupervised learning to develop a functorial perspective on manifold learning, also known as nonlinear dimensionality reduction. We first characterize manifold learning algorithms as functors that map pseudometric spaces to optimization objectives and that factor through hierarchical clustering functors. We then use this characterization to prove refinement bounds on manifold learning loss functions and construct a hierarchy of manifold learning algorithms based on their equivariants. We express several popular manifold learning algorithms as functors at different levels of this hierarchy, including Metric Multidimensional Scaling, IsoMap, and UMAP. Next, we use interleaving distance to study the stability of a broad class of manifold learning algorithms. We present bounds on how closely the embeddings these algorithms produce from noisy data approximate the embeddings they would learn from noiseless data. Finally, we use our framework to derive a set of novel manifold learning algorithms, which we experimentally demonstrate are competitive with the state of the art.

Very good homogeneous functors in manifold calculus

Homotopy theory of smooth compactifications of algebraic varieties

Manifold Diagrams for Higher Categories

6-Functor Formalisms and Smooth Representations

Homological monotonicity for configuration spaces of manifolds

Formal Frobenius Manifold Structure on Equivariant Cohomology

Holomorphic geometric structures on Oeljeklaus-Toma manifolds

Cohomology of bifunctors

Categories and functors in the representation theory of vertex operator algebras

Functorial Manifold Learning

Homotopic distance between functors

REPRESENTATIONS OF THE HOMOTOPY SURFACE CATEGORY OF A SIMPLY CONNECTED SPACE

Non-representable six-functor formalisms

Good Hilbert functors

Holomorphic geometric structures on Oeljeklaus–Toma manifolds

Simple homotopy types of even dimensional manifolds

HKT Manifolds: Hodge Theory, Formality and Balanced Metrics

Generalized Homotopy theory in Categories with a Natural Cone

Transversal homotopy theory

Infinitesimal homogeneity and bundles

Homotopy Equivalent Algebraic Structures in Multicategories and Permutative Categories