Related papers: Strong homotopy of digitally continuous functions

Topological features play an essential role in ensuring geometric plausibility and structural consistency in image analysis tasks such as segmentation and skeletonization. However, integrating topology-preserving learning based on simple…

For a fixed $N$, we analyze the space of all sequences $z=(z_1,\dots,z_N)$, approximating a continuous function on the circle, with a given persistence diagram $P$, and show that the typical components of this space are homotopy equivalent…

Given pointed cellular spaces $X$ and $Y$, $X$ compact, and an integer $r\ge0$, we define a relation $\overset r\approx$ on $[X,Y]$ and argue for the conjecture that it always coincides with the $r$-similarity $\overset r\sim$.

Kreck's modified surgery gives an approach to classifying smooth $2n$-manifolds up to stable diffeomorphism, i.e. up to connected sum with copies of $S^n \times S^n$. In dimension 4, we use a combination of modified and classical surgery to…

This is a sequel to a previous paper, developing an intrinsic, combinatorial homotopy theory for simplicial complexes; the latter form the cartesian closed subcategory of 'simple presheaves' in !Smp, the topos of symmetric simplicial sets,…

To compute the persistent homology of a grayscale digital image one needs to build a simplicial or cubical complex from it. For cubical complexes, the two commonly used constructions (corresponding to direct and indirect digital…

We experimentally examine the topological nature of a strongly coupled spin-photon system induced by damping. The presence of both spin and photonic losses results in a non-Hermitian system with a variety of exotic phenomena dictated by the…

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…

We prove analogues of classical results for higher homotopy groups and singular homology groups of pseudotopological spaces. Pseudotopological spaces are a generalization of (\v{C}ech) closure spaces which are in turn a generalization of…

A directed space is a topological space $X$ together with a subspace $\vec{P}(X)\subset X^I$ of \emph{directed} paths on $X$. A symmetry of a directed space should therefore respect both the topology of the underlying space and the topology…

We adapt the study of hyperspaces and function spaces from classical topology to digital topology. We define digital hyperspaces and digital function graphs, and study some of their relationships and graphical properties.

The recently introduced continuous Hopfield network (see Ramsauer et al.) exhibits large memorization capabilities, which manifest as attractive fixed points of its update rule -- a differentiable function consisting of two linear mappings…

In many real, directed networks, the strongly connected component of nodes which are mutually reachable is very small. This does not fit with current theory, based on random graphs, according to which strong connectivity depends on mean…

We first show that simply connected co-$H$-spaces and connected $H$-spaces can be uniquely decomposed into prime factors in the homotopy category of pointed $p$-local spaces of finite type, which is used to develop a $p$-local version of…

We study synchronisation properties of networks of coupled dynamical systems with interaction akin to diffusion. We assume that the isolated node dynamics possesses a forward invariant set on which it has a bounded Jacobian, then we…

We define a fundamental group for digital images. Namely, we construct a functor from digital images to groups, which closely resembles the ordinary fundamental group from algebraic topology. Our construction differs in several basic ways…

Functional brain connectivity changes dynamically over time, making its representation challenging for learning on non-Euclidean data. We present a framework that encodes dynamic functional connectivity as an image representation of…

Link homotopy has been an active area of research for knot theorists since its introduction by Milnor in the 1950s. We introduce a new equivalence relation on spatial graphs called component homotopy, which reduces to link homotopy in the…

We combine Homotopy Type Theory with axiomatic cohesion, expressing the latter internally with a version of "adjoint logic" in which the discretization and codiscretization modalities are characterized using a judgmental formalism of "crisp…

We define and study homotopy groups of cubical sets. To this end, we give four definitions of homotopy groups of a cubical set, prove that they are equivalent, and further that they agree with their topological analogues via the geometric…