Related papers: Comparing cubical and globular directed paths
Locally ordered spaces can be used as topological models of concurrent programs: the local order models the irreversibility of time during execution. Under certain conditions, one can even work with locally ordered manifolds. In this paper,…
Adapting the construction of global Kuranishi charts to the contact setting, we associate to any non-degenerate contact manifold a flow category based on Reeb orbits and moduli spaces of pseudo-holomorphic buildings. The construction lifts…
The Kakutani-Bebutov Theorem (1968) states that any compact metric real flow whose fixed point set is homeomorphic to a subset of $\mathbb{R}$ embeds into the Bebutov flow, the $\mathbb{R}$-shift on $C(\mathbb{R},[0,1])$. An interesting…
This paper shows that the topological structures of particle orbits generated by a generic class of vector fields on spherical surfaces, called {\it the flow of finite type}, are in one-to-one correspondence with discrete structures such as…
The state space of a machine admits the structure of time. For example, the geometric realization of a precubical set, a generalization of an unlabeled asynchronous transition system, admits a "local preorder" encoding control flow. In the…
Two flows on a finite-dimensional normed space $X$ are equivalent if some homeomorphism $h$ of $X$ preserves all orbits, i.e., $h$ maps each orbit onto an orbit. Under the assumption that $h$, $h^{-1}$ both are $\beta$-H\"{o}lder continuous…
We study the homotopy types of spaces of algebraic (rational) maps from real projective spaces into complex projective spaces. In a previous paper we have shown that the inclusion of the first space into the second one is a homotopy…
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…
Cubical type theories are designed around an abstract unit interval from which types of paths, used to represent equalities, are defined. Varying the operations available on this interval yields different type theories. A reversal is an…
We define a variety of notions of cubical sets, based on sites organized using substructural algebraic theories presenting PRO(P)s or Lawvere theories. We prove that all our sites are test categories in the sense of Grothendieck, meaning…
First we investigate the evolutions of the radius function and its gradient along the volume-preserving mean curvature flow starting from a tube (of nonconstant radius) over a compact closed domain of a reflective submanifold in a symmetric…
Staton has shown that there is an equivalence between the category of presheaves on (the opposite of) finite sets and partial bijections and the category of nominal restriction sets: see [2, Exercise 9.7]. The aim here is to see that this…
The branching (resp. merging) space functor of a flow is a left Quillen functor. The associated derived functor allows to define the branching (resp. merging) homology of a flow. It is then proved that this homology theory is a dihomotopy…
We study basic properties of flow equivalence on one-dimensional compact metric spaces with a particular emphasis on isotopy in the group of (self-) flow equivalences on such a space. In particular, we show that an orbit-preserving such map…
The embedded cobordism category under study in this paper generalizes the category of conformal surfaces, introduced by G. Segal in order to formalize the concept of field theories. Our main result identifies the homotopy type of the…
We consider the fluid dual of $(d+2)$-dimensional vacuum Einstein equation either with or without a cosmological constant. The background solutions admit black hole event horizons and the spatial sections of the horizons are conformally…
We establish a higher Freudenthal suspension theorem and prove that the derived fundamental adjunction comparing spaces with coalgebra spaces over the homotopical iterated suspension-loop comonad, via iterated suspension, can be turned into…
We consider the realization space of the $d$-dimensional cube, and show that any two realizations are connected by a finite sequence of projective transformations and normal transformations. We use this fact to define an analog of the…
Given an algebraic structure on the homology of a chain complex, we define its realization space as a Kan complex whose vertices are the structures up to homotopy realizing this structure at the homology level. Our algebraic structures are…
Poincar\'e maps and suspension flows are examples of fundamental constructions in the study of dynamical systems. This study aimed to show that these constructions define an adjoint pair of functors if categories of dynamical systems are…