Related papers: Proximal Planar Shapes. Correspondence between Sha…
The goal of this paper is to put the theory of approximate fibrations into the framework of higher topos theory. We define the notion of an approximate fibration for a general geometric morphism of $\infty$-topoi, give several…
We construct a multiplicative spectral sequence converging to the cohomology algebra of the diagonal complex of a bisimplicial set with coefficients in a field. The construction provides a spectral sequence converging to the cohomology…
Quantifying similarity between neural representations -- e.g. hidden layer activation vectors -- is a perennial problem in deep learning and neuroscience research. Existing methods compare deterministic responses (e.g. artificial networks…
Let p be a fibration over a finite simplicial complex, whose fibers have the homotopy type of finite simplicial complexes. Then p is equivalent to an approximate fibration whose total space is a compact ENR. The proof uses homotopy coherent…
Contours may be viewed as the 2D outline of the image of an object. This type of data arises in medical imaging as well as in computer vision and can be modeled as data on a manifold and can be studied using statistical shape analysis.…
A pseudo-triangle is a simple polygon with three convex vertices, and a pseudo-triangulation is a face-to-face tiling of a planar region into pseudo-triangles. Pseudo-triangulations appear as data structures in computational geometry, as…
An orbitope is the convex hull of an orbit of a compact group acting linearly on a vector space. These highly symmetric convex bodies lie at the crossroads of several fields, in particular convex geometry, optimization, and algebraic…
Although topological considerations amongst multiple labels have been previously investigated in the context of continuous max-flow image segmentation, similar investigations have yet to be made about shape considerations in a general and…
Skeletal polyhedra are discrete connected structures consisting of finite (planar or skew) or infinite (linear, planar, or spatial) polygons as faces, with two faces on each edge and a circular vertex figure at each vertex. The present…
We consider the problem of testing, for a given set of planar regions $\cal R$ and an integer $k$, whether there exists a convex shape whose boundary intersects at least $k$ regions of $\cal R$. We provide a polynomial time algorithm for…
The homotopy coherent nerve from simplicial categories to simplicial sets and its left adjoint C are important to the study of (infinity,1)-categories because they provide a means for comparing two models of their respective homotopy…
We show that there is a collection of subgroups of the mapping class group of a surface such that the associated coset intersection complex is quasi-isometric and homotopy equivalent to the curve complex. Moreover, we prove that these two…
Constructing and manipulating homotopy types from categorical input data has been an important theme in algebraic topology for decades. Every category gives rise to a `classifying space', the geometric realization of the nerve. Up to weak…
We consider the problem of finding an accurate representation of neuron shapes, extracting sub-cellular features, and classifying neurons based on neuron shapes. In neuroscience research, the skeleton representation is often used as a…
In this paper, we develop the concept of multiple cylinder of relations which is a generalization of the relation cylinder, extending the multiple non-Hausdorff mapping cylinder to sequences of finite T0-spaces linked by a series of…
To a semisimple and cosemisimple Hopf algebra over an algebraically closed field, we associate a planar algebra defined by generators and relations and show that it is a connected, irreducible, spherical, non-degenerate planar algebra with…
Uniformity and proximity are two different ways for defining small scale structures on a set. Coarse structures are large scale counterparts of uniform structures. In this paper, motivated by the definition of proximity, we develop the…
We give a direct proof that middle mapping spaces in coherent nerves of Kan enriched categories have the same homotopy type as the original mapping spaces.
This paper introduces two proximal forms of Lenzen physical geometry, namely, an \emph{axiomatized strongly proximal physical geometry} that is built on simplicial complexes with the dualities and sewing operations derived from string…
The main objective of this article is to provide an alternative approach to the central result of [Eldred, A. Anthony, Kirk, W. A., Veeramani, P., Proximal normal structure and relatively nonexpansive mappings, Studia Math., vol 171(3),…