Related papers: Path spaces of pushouts

We show that compact subanalytic stratified spaces and algebraic stratifications of real varieties have finite exit-path $\infty$-categories, refining classical theorems of Lefschetz-Whitehead, Lojasiewicz, and Hironaka on the finiteness of…

Category theory provides a means through which many far-ranging fields of mathematics can be related by their similar structure. In a paper by Robinson [2], this interconnectivity afforded by categorical perspectives allowed for the…

Based on Morse theory for the energy functional on path spaces we develop a deformation theory for mapping spaces of spheres into orthogonal groups. This is used to show that these mapping spaces are weakly homotopy equivalent, in a stable…

James' sectional category and Farber's topological complexity are studied in a general and unified framework. We introduce `relative' and `strong relative' forms of the category for a map. We show that both can differ from sectional…

In this paper we represent the Vassiliev model for the homotopy type of the one-point compactification of subspace arrangements as a homotopy colimit of an appropriate diagram over the nerve complex of the intersection semilattice of the…

Let $G$ be a group acting by homeomorphisms on a Hausdorff compact space $Z$. We constructed a new space $X$ that blows up equivariantly the bounded parabolic points of $Z$. This means, roughly speaking, that $G$ acts by homeomorphisms on…

Simplicial presheaves on cartesian spaces provide a general notion of smooth spaces. There is a corresponding smooth version of the singular complex functor, which maps smooth spaces to simplicial sets. We consider the localisation of the…

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 article we consider the homotopy theory of stratified spaces through a simplicial point of view. We first consider a model category of filtered simplicial sets over some fixed poset $P$, and show that it is a simplicial…

We prove two homotopy decomposition theorems for the loops on co-H-spaces, including a generalization of the Hilton-Milnor Theorem. These are applied to problems arising in algebra, representation theory, toric topology, and the study of…

We give a short and streamlined proof of the following statement recently proven by the author and M. Zeinalian: the cobar construction of the dg coassociative coalgebra of normalized singular chains on a path-connected pointed space is…

For any collection of spaces A, we investigate two non-negative integer homotopy invariants of maps: l_A(f), the A-cone length of f, and L_A(f), the A-category of f. When A is the collection of all spaces, these are the cone length and…

Lada introduced strong homotopy algebras to describe the structures on a deformation retract of an algebra in topological spaces. However, there is no satisfactory general definition of a morphism of strong homotopy (s.h.) algebras. Given a…

We prove that the K-theory of an exact quasicategory can be computed via a higher categorical variant of the Q construction. This construction yields a quasicategory whose weak homotopy type is a delooping of the K-theory space. We show…

We use the cobordism category constructed in arXiv:1703.01047 to the study the homotopy type of the space of positive scalar curvature metrics on a spin manifold of dimension > 4. Our methods give an alternative proof and extension of a…

The motivation for this paper stems \cite{CR} from the need to construct explicit isomorphisms of (possibly nontrivial) principal $G$-bundles on the space of loops or, more generally, of paths in some manifold $M$, over which I consider a…

We generalise the fold map for the wedge sum and use this to give a loop space decomposition of topological spaces with a high degree of symmetry. This is applied to polyhedral products to give a loop space decomposition of polyhedral…

In this paper, we introduce a method to construct new categories which look like "cubes", and discuss model structures on the presheaf categories over them. First, we introduce a notion of thin-powered structure on small categories, which…

We define a naturality construction for the operations of weak omega-categories, as a meta-operation in a dependent type theory. Our construction has a geometrical motivation as a local tensor product with a directed interval, and behaves…

The main result of this paper is a new classification theorem for links (smooth embeddings in codimension 2). The classifying space is the rack space (defined in [Trunks and classifying spaces, Applied Categorical Structures, 3 (1995)…