Related papers: A Second Homotopy Group for Digital Images
In this paper, three Computational Topology methods (namely effective homology, persistent homology and discrete vector fields) are mixed together to produce algorithms for homological digital image processing. The algorithms have been…
We investigate topological realizations of higher-rank graphs. We show that the fundamental group of a higher-rank graph coincides with the fundamental group of its topological realization. We also show that topological realization of…
In this paper, we demonstrate the non-existence of a computational algorithm capable of determining whether the second homotopy group of any compact constructive topological space is trivial. This finding shows the inherent limitations of…
We show that diagram groups can be viewed as fundamental groups of spaces of positive paths on directed 2-complexes (these spaces of paths turn out to be classifying spaces). Thus diagram groups are analogs of second homotopy groups,…
Let $D$ be a large category which is cocomplete. We construct a model structure (in the sense of Quillen) on the category of small functors from $D$ to simplicial sets. As an application we construct homotopy localization functors on the…
We define digital $m-$homotopic distance and its higher version. We also mention related notions such as $m-$category in the sense of Lusternik-Schnirelmann and $m-$complexity in topological robotics. Later, we examine the homotopy…
Discrete cubical homology arose as the homology theory associated with discrete cubical homotopy theory. Despite the combinatorial nature of this homology, its computation has posed a significant challenge to the researchers in the field.…
The linear canonical transformations of geometric optics on two-dimensional screens form the group $Sp(4,R)$, whose maximal compact subgroup is the Fourier group $U(2)_F$; this includes isotropic and anisotropic Fourier transforms, screen…
Digital topological methods are often used on computing the topological complexity of digital images. We give new results on the relation between reducibility and digital contractibility in order to determine the topological complexity of a…
Given a representation up to homotopy of a Lie algebroid on a 2-term complex of vector bundles, we define the corresponding holonomy as a strict 2-functor from a Weinstein path 2-groupoid to the gauge 2-groupoid of the underlying 2-term…
This note extends Quillen's Theorem A to a large class of categories internal to topological spaces. This allows us to show that under a mild condition a fully faithful and essentially surjective functor between such topological categories…
By homotopy linear algebra we mean the study of linear functors between slices of the $\infty$-category of $\infty$-groupoids, subject to certain finiteness conditions. After some standard definitions and results, we assemble said slices…
The role of the modular group in the holonomy representation of (2+1)-dimensional quantum gravity is studied. This representation can be viewed as a "Heisenberg picture", and for simple topologies, the transformation to the ADM…
In this paper we define a pair of faithful functors that map isomorphic and isotopic finite-dimensional algebras over finite fields to isomorphic graphs. These functors reduce the cost of computation that is usually required to determine…
We develop a general theory of higher semiadditive Fourier transforms that includes both the classical discrete Fourier transform for finite abelian groups at height $n=0$, as well as a certain duality for the $E_n$-(co)homology of…
By introducing various topologies on the homotopy groups of a topological space, some researchers make these well known notions in algebraic topology more useful and powerful. In this paper, first we recall and review some known topologies…
We establish an interesting connection between Morin singularities and stable homotopy groups of spheres. We apply this connection to computations of cobordism groups of certain singular maps. The differentials of the spectral sequence…
For all classical groups (and for their analogs in infinite dimension or over general base fields or rings) we construct certain contractions, called "homotopes". The construction is geometric, using as ingredient involutions of associative…
For all classical groups (and for their analogs in infinite dimension or over general base fields or rings) we construct certain contractions, called "homotopes". The construction is geometric, using as ingredient involutions of associative…
We prove that for finitely generated abelian groups $A$ and $B$, the space of $\mathbb{E}_\infty$-ring maps between the spherical groups rings $\mathbb{S}[A] \to \mathbb{S}[B]$ is equivalent to the discrete set of group homomorphisms $A \to…