Related papers: Comparing cubical and globular directed paths

This note explores the link between the q-model structure of flows and the Ilias model structure of topologically enriched small categories. Both have weak equivalences which induce equivalences of fundamental (semi)categories. The Ilias…

To construct an $A_{\infty}$-form for a loop space in the category of diffeological spaces, we have two minor problems. Firstly, the concatenation of paths in the category of diffeological spaces needs a small technical trick (see…

We classify the self-similar solutions to a class of Weingarten curvature flow of connected compact convex hypersurfaces, isometrically immersed into space forms with non-positive curvature, and obtain a new characterization of a sphere in…

Let $G$ be a finite group acting on a small category $I$. We study functors $X \colon I \to \mathscr{C}$ equipped with families of compatible natural transformations that give a kind of generalized $G$-action on $X$. Such objects are called…

We introduce the abstract notion of a necklical set in order to describe a functorial combinatorial model of the path fibration over the geometric realization of a path connected simplicial set. In particular, to any path connected…

In this talk, I will explain the importance of the homotopy branching space functor (and of the homotopy merging space functor) in dihomotopy theory. The paper is a detailed abstract of math.AT/0304112 and math.AT/0305169.

It is known that shape injectivity implies homotopical Hausdorff and that the converse does not hold, even if the space is required to be a Peano continuum. This paper gives an alternative definition of homotopical Hausdorff inspired by a…

The main idea for interpreting concurrent processes as labelled precubical sets is that a given set of n actions running concurrently must be assembled to a labelled n-cube, in exactly one way. The main ingredient is the non-functorial…

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…

Using Reedy techniques, this paper gives a correct proof of the left properness of the q-model structure of flows. It fixes the preceding proof which relies on an incorrect argument. The last section is devoted to fix some arguments…

Let $\Phi$ be a flow on a smooth, compact, finite-dimensional manifold $M$. Consider the subsets $E(\Phi)$ and $D(\Phi)$ of $C^{\infty}(M,M)$ consisting of smoothh mappings and diffeomorphisms (respectively) of $M$ preserving the foliation…

Let $S$ be a complete flat surface, such as the Euclidean plane. We determine the homeomorphism class of the space of all curves on $S$ which start and end at given points in given directions and whose curvatures are constrained to lie in a…

In this article, we construct a cofibrantly generated model structure on the category of spaces stratified over a fixed poset, and show that it is Quillen-equivalent to a category of diagrams of simplicial sets. Then, considering all those…

Erratum, 11 July 2022: This is an updated version of the original paper in which the notion of reparametrization category was incorrectly axiomatized. Details on the changes to the original paper are provided in the Appendix. A…

Let $Q$ be a smooth compact orientable 3--manifold with smooth boundary $\partial Q$. Let $\mathcal{B}$ be the set of exact 2--forms $B\in\Omega^2(Q)$ such that $j_{\partial Q}^*B=0$, where $j_{\partial Q}:{\partial Q}\to Q$ is the…

We define a basic class of algebras which we call homotopy path algebras. We find that such algebras always admit a cellular resolution and detail the intimate relationship between these algebras, stratifications of topological spaces, and…

We construct a stable infinity category with objects flow categories and morphisms flow bimodules; our construction has many flavors, related to a choice of bordism theory, and we discuss in particular framed bordism and the bordism theory…

The category of flows is not cartesian closed. We construct a closed symmetric monoidal structure which has moreover a satisfactory behavior from the computer scientific viewpoint.

We describe a calculus of moves for modifying a framed flow category without changing the associated stable homotopy type. We use this calculus to show that if two framed flow categories give rise to the same stable homotopy type of…

Higher-dimensional automata, i.e., pointed labeled precubical sets, are a powerful combinatorial-topological model for concurrent systems. In this paper, we show that for every (nonempty) connected polyhedron there exists a shared-variable…