Related papers: Data and homotopy types
This is a survey paper where we expose the Kirby--Siebenmann results on classification of PL structures on topological manifolds and, in particular, the homotopy equivalence TOP/PL=K(Z/2.3) and the Hauptvermutung for manifolds.
The inclusion of the space of all knots of a prescribed writhe in a particular isotopy class into the space of all knots in that isotopy class is a weak homotopy equivalence.
We introduce the notion of balanced pair of additive subcategories in an abelian category. We give sufficient conditions under which the balanced pair of subcategories gives rise to equivalent homotopy categories of complexes. As an…
We consider two categories related to symplectic manifolds: 1. Objects are symplectic manifolds and morphisms are symplectic embeddings. 2. Objects are symplectic manifolds endowed with compatible almost complex structure and morphisms are…
This text develops a homotopy theory of 2-categories analogous to Grothendieck's homotopy theory of categories developed in "Pursuing Stacks". We define the notion of "basic localizer of 2-Cat", 2-categorical generalization of…
For a pointed topological space $X$, we use an inductive construction of a simplicial resolution of $X$ by wedges of spheres to construct a "higher homotopy structure" for $X$ (in terms of chain complexes of spaces). This structure is then…
A challenge in computational topology is to deal with large filtered geometric complexes built from point cloud data such as Vietoris-Rips filtrations. This has led to the development of schemes for parallel computation and compression…
We define a class of probability distributions that we call simplicial mixture models, inspired by simplicial complexes from algebraic topology. The parameters of these distributions represent their topology and we show that it is possible…
Homotopy type theory is a new branch of mathematics, based on a recently discovered connection between homotopy theory and type theory, which brings new ideas into the very foundation of mathematics. On the one hand, Voevodsky's subtle and…
We demonstrate that the proper homotopy equivalence relation for locally finite graphs is Borel complete. Furthermore, among the infinite graphs, there is a comeager equivalence class. As corollaries, we obtain the analogous results for the…
In a previous article, we introduced notions of finiteness obstruction, Euler characteristic, and L^2-Euler characteristic for wide classes of categories. In this sequel, we prove the compatibility of those notions with homotopy colimits of…
Homotopy limits and colimits are homotopical replacements for the usual limits and colimits of category theory, which can be approached either using classical explicit constructions or the modern abstract machinery of derived functors. Our…
We consider a differential inclusion on a manifold, defined by a field of open half-spaces whose boundary in each tangent space is the kernel of a one-form. We make the assumption that the corank one distribution associated to the kernel is…
We define the 2-groupoid of descent data assigned to a cosimplicial 2-groupoid and present it as the homotopy limit of the cosimplicial space gotten after applying the 2-nerve in each cosimplicial degree. This can be applied also to the…
As Goresky and MacPherson intersection homology is not the homology of a space, there is no preferred candidate for intersection homotopy groups. Here, they are defined as the homotopy groups of a simplicial set which P. Gajer associates to…
For $X$ a metric space and $r>0$, the Vietoris--Rips simplicial complex $\mathrm{VR}(X;r)$ has $X$ as its vertex set, and a finite subset $\sigma \subseteq X$ as a simplex whenever the diameter of $\sigma$ is less than $r$. In ``On…
We present an intrinsic and concrete development of the subdivision of small categories, give some simple examples and derive its fundamental properties. As an application, we deduce an alternative way to compare the homotopy categories of…
There is a one-to-one correspondence between geometric lattices and the intersection lattices of arrangements of homotopy spheres. When the arrangements are essential and fully partitioned, Zaslavsky's enumeration of the cells of the…
We study the existence of area-minimizing homotopies between homotopic curves in the plane. While the classical Plateau problem establishes the existence of least-area surfaces spanning a single Jordan curve, the corresponding existence…
We show that the notions of homotopy epimorphism and homological epimorphism in the category of differential graded algebras are equivalent. As an application we obtain a characterization of acyclic maps of topological spaces in terms of…