Related papers: Spaces of directed paths on pre-cubical sets II

We develop a homotopy theory of directed graphs based on cubical homotopy groups, also referred to as A-groups or reduced GLMY homotopy groups. Localizing the category of directed graphs at morphisms that induce isomorphisms on these groups…

We prove that the category of directed graphs and graph maps carries a cofibration category structure in which the weak equivalences are the graph maps inducing isomorphisms on path homology.

The purpose of this paper is to study the topology of certain toric varieties $X_I$, arising as quotients of the action of $\C^*$ on complements of arrangements of coordinate subspaces in $\C^n$, and to improve the homotopy stability…

We show that cellular approximations of nilpotent Postnikov stages are always nilpotent Postnikov stages, in particular classifying spaces of nilpotent groups are turned into classifying spaces of nilpotent groups. We use a modified…

In this paper we define 2-vector bundles as suitable bundles of 2-vector spaces over a base space, and compare the resulting 2-K-theory with the algebraic K-theory spectrum K(V) of the 2-category of 2-vector spaces, as well as the algebraic…

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…

A bounded curvature path is a continuously differentiable piecewise $C^2$ path with a bounded absolute curvature that connects two points in the tangent bundle of a surface. In this work, we analyze the homotopy classes of bounded curvature…

We classify pointed spaces according to the first fundamental group of their reduced suspension. A pointed space is either of so-called totally path disconnected type or of horseshoe type. These two camps are defined topologically but a…

In this paper, we introduce a bordism category $\mathcal{C}_d^{PL}$ whose objects are bundles of closed $(d-1)$-dimensional piecewise linear manifolds and whose morphisms are bundles of $d$-dimensional piecewise linear cobordisms. In the…

Let $R$ be a ring with identity. Inspired by recent work of Emmanouil, we show that the derived category of $R$ is equivalent to the chain homotopy category of all K-flat complexes with pure-injective components. This is implicitly related…

Let $G/K$ be a simply connected compact irreducible symmetric space of real rank one. For each $K$-type $\tau$ we compare the notions of $\tau$-representation equivalence with $\tau$-isospectrality. We exhibit infinitely many $K$-types…

We prove that the loop space of the moment-angle complex associated to the $k$-skeleton of a flag complex belongs to the class $\mathcal{P}$ of spaces homotopy equivalent to a finite type product of spheres and loops on simply connected…

Symmetric transverse sets were introduced to make the construction of the parallel product with synchronization for process algebras functorial. It is proved that one can do directed homotopy on symmetric transverse sets in the following…

We study the equivariant homotopy type of the poset of orthogonal decompositions of a finite-dimensional complex vector space. Suppose that n is a power of a prime p, and that D is an elementary abelian p-subgroup of U(n) acting on complex…

In this paper we determine the homotopy types of the reduced suspension space of certain connected orientable closed smooth $5$-manifolds. As applications, we compute the reduced $K$-groups of $M$ and show that the suspension map between…

This paper continues the development of a simplicial theory of weak omega-categories, by studying categories which are enriched in weak complicial sets. These complicial Gray-categories generalise both the Kan complex enriched categories of…

In this paper, we study diffeological spaces as certain kinds of discrete simplicial presheaves on the site of cartesian spaces with the coverage of good open covers. The \v{C}ech model structure on simplicial presheaves provides us with a…

The point of this paper is to prove the conjecture that virtual 2-vector bundles are classified by K(ku), the algebraic K-theory of topological K-theory. Hence, by the work of Ausoni and the fourth author, virtual 2-vector bundles give us a…

We prove in this paper that for a quasi-compact and semi-separated (non necessarily noetherian) scheme X, the derived category of quasi-coherent sheaves over X, D(A_qc(X)), is a stable homotopy category in the sense of Hovey, Palmieri and…

We give a new construction of the model structure on the category of simplicial sets for homotopy $n$-types, originally due to Elvira-Donazar and Hernandez-Paricio, using a right transfer along the coskeleton functor. We observe that an…