Related papers: A simple uniform approach to complexes arising fro…
A $2$-matching complex is a simplicial complex which captures the relationship between $2$-matchings of a graph. In this paper, we will use discrete Morse Theory and the Matching Tree Algorithm to prove homotopical results. We will consider…
We define an order relation among oriented $PD_4$-complexes. We show that with respect to this relation, two $PD_4$-complexes over the same complex are homotopy equivalent if and only if there is an isometry between the second homology…
This article investigates the homotopy theory of simplicial commutative algebras with a view to homological applications.
This paper presents two algorithms. In their simplest form, the first algorithm decides the existence of a pointed homotopy between given simplicial maps f, g from X to Y and the second computes the group $[\Sigma X,Y]^*$ of pointed…
We prove that every homomorphism from the fundamental group of a planar Peano continuum to the fundamental group of a planar or one-dimensional Peano continuum is induced by a continuous map up to conjugation. This is then used to provide a…
We exploit the theory of $\infty$-stacks to provide some basic definitions and calculational tools regarding stratified homotopy theory of stratified topological stacks.
Inspired by numerical homotopy methods we propose a combinatorial homotopy algorithm for finding all isolated solutions to a tropical polynomial systems of n tropical polynomials in n variables. In particular, a tropicalisation of the…
We study the homotopy theory of locally ordered spaces, that is manifolds with boundary whose charts are partially ordered in a compatible way. Their category is not particularly well-behaved with respect to colimits. However, this category…
We give a short, mostly elementary and self-contained proof of the classical result that the groups of diffeomorphisms, homeomorphisms, and homotopy equivalences of a surface have the same group of connected components.
The paper is devoted to introduce some notions extending the unique path lifting property from a homotopy viewpoint and to study their roles in the category of fibrations. First, we define some homotopical kinds of the unique path lifting…
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…
In order to get $\lambda$-models with a rich structure of $\infty$-groupoid, which we call "homotopy $\lambda$-models", a general technique is described for solving domain equations on any cartesian closed $\infty$-category (c.c.i.) with…
Vietoris-Rips and degree Rips complexes are represented as homotopy types by their underlying posets of simplices, and basic homotopy stability theorems are recast in these terms. These homotopy types are viewed as systems (or functors),…
The theory of $N$-complexes is a generalization of both ordinary chain complexes and graded objects. Hence it yields deeper insight in the structure of these and offers a broader range of applications. This work generalizes the tensor…
In this work, Lienard equations are considered. The limit cycles of these systems are studied by applying the homotopy analysis method. The amplitude and frequency obtained with this methodology are in good agreement with those calculated…
Given a data set with many features observed in a large number of conditions, it is desirable to fuse and aggregate conditions which are similar to ease the interpretation and extract the main characteristics of the data. This paper…
The reconstruction of a central tendency `species tree' from a large number of conflicting gene trees is a central problem in systematic biology. Moreover, it becomes particularly problematic when taxon coverage is patchy, so that not all…
Despite the common misconception of nearly static organisms, plants do interact continuously with the environment and with each other. It is fair to assume that during their evolution they developed particular features to overcome problems…
This paper studies the homotopy type of the moduli space of compact n-manifold thickenings of a finite complex. The main result computes the homotopy fibers of the stabilization map from n-thickenings to (n+1)-thickenings in a wide range.…
The study of homotopy theoretic phenomena in the language of type theory is sometimes loosely called `synthetic homotopy theory'. Homotopy theory in type theory is only one of the many aspects of homotopy type theory, which also includes…