Related papers: Branching space of precubical set

A simplicial complex is a set equipped with a down-closed family of distinguished finite subsets. This structure, usually viewed as codifying a triangulated space, is used here directly, to describe "spaces" whose geometric realisation can…

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 show that discrete and classical homotopy theories are equivalent after localizing at n-equivalences for any non-negative integer n. By constructing an explicit homotopy inverse to the graph nerve functor associating an n-fibrant cubical…

A neighborhood homotopy is an equivalence relation on spatial graphs which is generated by crossing changes on the same component and neighborhood equivalence. We give a complete classification of all 2-component spatial graphs up to…

We explain how the notion of homotopy colimits gives rise to that of mapping spaces, even in categories which are not simplicial. We apply the technique of model approximations and use elementary properties of the category of spaces to be…

Given a simplicial complex $X$, we construct a simplicial complex $\Omega X$ that may be regarded as a combinatorial version of the based loop space of a topological space. Our construction explicitly describes the simplices of $\Omega X$…

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…

We propose a convenient category for directed homotopy consisting of preordered topological spaces generated by cubes. Its main advantage is that, like the category of topological spaces generated by simplices suggested by J. H. Smith, it…

This paper studies a notion of directed homology for preordered spaces, called the homology digraph. We show that the homology digraph is a directed homotopy invariant and establish variants of the main results of ordinary singular homology…

While the topology of the space of all smooth immersed curves on the $2$-sphere $\mathbb{S}^2$ that start and end at given points in given directions is well known, it is an open problem to understand the homotopy type of its subspaces…

We show that the set of harmonic maps from the 2-dimensional stratified spheres with uniformly bounded energies contains only finitely many homotopy classes. We apply this result to construct infinitely many harmonic map flows and mean…

We propose an axiomatic characterization of coarse homology theories defined on the category of bornological coarse spaces. We construct a category of motivic coarse spectra. Our focus is the classification of coarse homology theories and…

Homotopy connectedness theorems for complex submanifolds of homogeneous spaces (sometimes referred to as theorems of Barth-Lefshetz type) have been established by a number of authors. Morse Theory on the space of paths lead to an elegant…

We survey the theory of locally homogeneous almost-Hermitian spaces. In particular, by using the framework of varying Lie brackets, we write formulas for the curvature of all the Gauduchon connections and we provide explicit examples of…

We characterize the Hurewicz cofibrations between finite topological spaces, that is, the continuous functions between finite topological spaces that have the homotopy extension property with respect to all topological spaces. In…

Given a closed $n$-manifold, we consider the set of simple homotopy types of $n$-manifolds within its homotopy type, called its simple homotopy manifold set. We characterise it in terms of algebraic K-theory, the surgery obstruction map,…

We give an elementary proof of the Hurewicz theorem relating homotopy and homology groups of a cubical Kan complex. Our approach is based on the notion of a loop space of a cubical set, developed in a companion paper ``Homotopy groups of…

Convergence spaces are a generalization of topological spaces. The category of convergence spaces is well-suited for Algebraic Topology, one of the reasons is the existence of exponential objects provided by continuous convergence. In this…

It is possible to translate a modified version of K. Worytkiewicz's combinatorial semantics of CCS (Milner's Calculus of Communicating Systems) in terms of labelled precubical sets into a categorical semantics of CCS in terms of labelled…

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…