Related papers: Directed path spaces via discrete vector fields
The spaces of directed paths on the geometric realizations of pre-cubical sets, called also $\square$--sets, can be interpreted as the spaces of possible executions of Higher Dimensional Automata, which are models for concurrent…
Incidence relations among the cells of a regular CW complex produce a poset-enriched category of entrance paths whose classifying space is homotopy-equivalent to that complex. We show here that each acyclic partial matching (in the sense of…
We show how to construct homology bases for certain CW complexes in terms of discrete Morse theory and cellular homology. We apply this technique to study certain subcomplexes of the half cube polytope studied in previous works. This…
In the directed setting, the spaces of directed paths between fixed initial and terminal points are the defining feature for distinguishing different directed spaces. The simplest case is when the space of directed paths is homotopy…
For a finite simplicial complex K and a CW-pair (X,A), there is an associated CW-complex Z_K(X,A), known as a polyhedral product. We apply discrete Morse theory to a particular CW-structure on the n-sphere moment-angle complexes Z_K(D^{n},…
In this paper we present the notion of smooth CW complexes given by attaching cubes on the category of diffeological spaces, and we study their smooth homotopy structures related to the homotopy extension property.
In this paper, we construct a pointed CW complex called the magnitude homotopy type for a given metric space $X$ and a real parameter $\ell \geq 0$. This space is roughly consisting of all paths of length $\ell$ and has the reduced homology…
Topological spaces - such as classifying spaces, configuration spaces and spacetimes - often admit extra temporal structure. Qualitative invariants on such directed spaces often are more informative yet more difficult to calculate than…
In this work, we introduce a combinatorial-geometric model for the space of discrete Morse functions on any CW complex $X$. We relate this version of a space of discrete Morse functions to the space of cellular filtrations of $X$ and…
The usual construction of a CW-approximation is functorial up to homotopy, but it is not functorial. In this note, we construct a functorial CW-approximation. Our construction takes inclusions of subspaces into inclusions of subcomplexes,…
We study two simplicial complexes arising from a directed graph $G = (V, E)$ with two chosen vertices $s$ and $t$: the *path-free complex*, consisting of all subsets $F \subseteq E$ that contain no path from $s$ to $t$, and the…
The main goal of this paper is to prove that the space of directed loops on the final precubical set is homotopy equivalent to the "total" configuration space of points on the plane; by "total" we mean that any finite number of points in a…
We investigate one-point reduction methods of finite topological spaces. These methods allow one to study homotopy theory of cell complexes by means of elementary moves of their finite models. We also introduce the notion of h-regular…
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…
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…
We establish a loop space decomposition for certain $CW$-complexes with a single top cell in the presence of a spherical pair, thereby generalizing several known decompositions of Poincar\'{e} duality complexes in which a loop of a product…
The paper establishes an equivalence between directed homotopy categories of (diagrams of) cubical sets and (diagrams of) directed topological spaces. This equivalence both lifts and extends an equivalence between classical homotopy…
The aim of this paper is to develop a refinement of Forman's discrete Morse theory. To an acyclic partial matching $\mu$ on a finite regular CW complex $X$, Forman introduced a discrete analogue of gradient flows. Although Forman's gradient…
We introduce a novel combinatorial method to study $Q^{**}$-transformations of group presentations or, equivalently, 3-deformations of CW-complexes of dimension 2. Our procedure is based on a refinement of discrete Morse theory that gives a…
Pseudotopological spaces are the Cartesian closed hull of the category of \v{C}ech closure spaces. In this paper, we give a direct proof that the model category of the pseudotopological spaces constructed by Rieser is Quillen equivalent to…