Related papers: Comparing cubical and globular directed paths
Normal maps between discrete groups $N\rightarrow G$ were characterized [FS] as those which induce a compatible topological group structure on the homotopy quotient $EN\times_N G$. Here we deal with topological group (or loop) maps…
In this work we construct the $\Co^{\r}$-completion and $\Co^{\l}$-completion of a dynamical system. If $X$ is a flow, we construct canonical maps $X\to \Co^{\r}(X)$ and $X\to \Co^{\l}(X)$ and when these maps are homeomorphism we have the…
We prove a version of Quillen's theorems for a map of semi-Segal spaces. We construct a bi-semi-simplicial resolution similar to the one associated to a functor of non-unital topological categories. As a consequence we can represent the…
Simplicial type theory extends homotopy type theory with a directed path type which internalizes the notion of a homomorphism within a type. This concept has significant applications both within mathematics -- where it allows for synthetic…
In this short note, we present a persistence module approach to directed cohomology, dual to the directed homology introduced by the author in a previous article. We lay out the first properties of directed cohomology and in particular of…
Two fluid configurations along a flow are conjugate if there is a one parameter family of geodesics (fluid flows) joining them to infinitesimal order. Geometrically, they can be seen as a consequence of the (infinite dimensional) group of…
We develop a constructive model of homotopy type theory in a Quillen model category that classically presents the usual homotopy theory of spaces. Our model is based on presheaves over the cartesian cube category, a well-behaved…
This work contributes to clarifying several relationships between certain higher categorical structures and the homotopy types of their classifying spaces. Double categories (Ehresmann, 1963) have well-understood geometric realizations, and…
We construct new geometric realizations of simplicial and pre-simplicial sets where the standard $n$-simplex, viewed as the space of probability measures on $n+1$ elements, is replaced by the space of $(n+1)$-valued random variables, with…
We extend the Cohen-Jones-Segal construction of stable homotopy types associated to flow categories of Morse-Smale functions $f$ to the setting where $f$ is equivariant under a finite group action and is Morse but no longer Morse-Smale.…
In a previous work, by extending the classical Quillen construction to the non-simply connected case, we have built a pair of adjoint functors, 'model' and 'realization', between the categories of simplicial sets and complete differential…
Let S be a compact surface with boundary and F be the set of the orbits of a traversing flow on S. If the flow is generic, its orbit space is a spine G of S, namely G is a graph embedded in S and S is a regular neighbourhood of G. Moreover…
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,…
Steady fluid flows have very special topology. In this paper we describe necessary and sufficient conditions on the vorticity function of a 2D ideal flow on a surface with or without boundary, for which there exists a steady flow among…
Over a field of characteristic zero, we show that the forgetful functor from the homotopy category of commutative dg algebras to the homotopy category of dg associative algebras is faithful. In fact, the induced map of derived mapping…
Among the classical variants of the Pr\"ufer surface, some are homotopy equivalent to a CW-complex (namely, a point or a wedge of a continuum of circles) and some are not. The obstruction comes from the existence of uncountably many…
Recent work on self-organized remodeling of vasculature in slime-mold, leaf venation systems and vessel systems in vertebrates has put forward a plethora of potential adaptation mechanisms. All these share the underlying hypothesis of a…
We propose a general framework to extend Flow Matching to homogeneous spaces, i.e. quotients of Lie groups. Our approach reformulates the problem as a flow matching task on the underlying Lie group by lifting the data distributions. This…
We extend the usual notion of parallel transport along a path to triangulated surfaces. A homotopy of paths is lifted into a fibered category with connection and this defines a functor between the fibers above the boundary paths. These…
This paper investigates which smooth manifolds arise as quotients (orbit spaces) of flows of vector fields. Such quotient maps were already known to be surjective on fundamental groups, but this paper shows that every epimorphism of…