Related papers: Paths of the directed suspension

We study notions of homotopy in the Newtonian space $N^{1,p}(X;Y)$ of Sobolev type maps between metric spaces. After studying the properties and relations of two different notions we prove a compactness result for sequences in homotopy…

Given a strong homotopy pushout cube of spaces A, we measure how far it is from also being a homotopy pullback cube. Explicitly, letting P be the homotopy colimit of the diagram obtained from A by forgetting the initial vertex…

We construct an explicit transitive free action of a Banach space of H\"older functions on the space of branched rough paths, which yields in particular a bijection between theses two spaces. This endows the space of branched rough paths…

We show that if the fundamental groups of the complements of two line arrangements in the complex projective plane are isomorphic to the same direct sum of free groups, then the complements of the arrangements are homotopy equivalent. For…

We prove that every homotopy class of almost contact structures on a closed 5-dimensional manifold admits a contact structure.

We study the homotopy groups of open books in terms of those of their pages and bindings. Under homotopy theoretic conditions on the monodromy we prove an integral decomposition result for the based loop space on an open book, and under…

This paper proves that labelled flows are expressive enough to contain all process algebras which are a standard model for concurrency. More precisely, we construct the space of execution paths and of higher dimensional homotopies between…

A precise meaning is given to the notion of continuous iteration of a mapping. Usual discrete iterations are extended into a dynamical flow which is a homotopy of them all. The continuous iterate reveals that a dynamical map is formend by…

We introduce the concept of a topological J-group and determine for many important examples of topological groups if they are topological J-groups or not. Besides other results, we show that the underlying topological space of a pathwise…

We show that the free construction from multicategories to permutative categories is a categorically-enriched non-symmetric multifunctor. Our main result then shows that the induced functor between categories of algebras is an equivalence…

The study of equality types is central to homotopy type theory. Characterizing these types is often tricky, and various strategies, such as the encode-decode method, have been developed. We prove a theorem about equality types of…

Directed spaces are natural topological extensions of dcpos in domain theory and form a cartesian closed category. In order to model nondeterministic semantics, the power structures over directed spaces were defined through the form of free…

Under the assumption that certain Adem cohomology operation acts trivially on $H^2(M;\mathbb{Z}/2)$, we determine the homotopy types of the triple suspension $\Sigma^3M$ of a simply-connected oriented closed topological(or smooth)…

Directed spaces are natural topological extensions of dcpos in domain theory and form a cartesian closed category. We will show that the D-completion of free algebras over a Scott space $\Sigma L$, on the context of directed spaces, are…

Let $M$ be a simply connected closed manifold of dimension $n$. We study the rational homotopy type of the configuration space of 2 points in $M$, $F(M,2)$. When $M$ is even dimensional, we prove that the rational homotopy type of $F(M,2)$…

We prove homological stability for sequences of "oriented configuration spaces" as the number of points in the configuration goes to infinity. These are spaces of configurations of n points in a connected manifold M of dimension at least 2…

Using the notion of short directed path, we introduce the branching space of a multipointed $d$-space. We prove that for any q-cofibrant multipointed $d$-space, it is homeomorphic to the branching space of the q-cofibrant flow obtained by…

Given a link diagram L we construct spectra X^j(L) so that the Khovanov homology Kh^{i,j}(L) is isomorphic to the (reduced) singular cohomology H^i(X^j(L)). The construction of X^j(L) is combinatorial and explicit. We prove that the…

We give a natural construction and a direct proof of the Adams isomorphism for equivariant orthogonal spectra. More precisely, for any finite group G, any normal subgroup N of G, and any orthogonal G-spectrum X, we construct a natural map A…

Given a space X, we study the homotopy type of ${\mathcal B}_n(X)$ the space obtained as "the union of all (n-1)-simplexes spanned by points in X". This is a space encountered in non-linear analysis under the name of "space of barycenters"…