Related papers: Spaces of directed paths on pre-cubical sets II
Directed topology is an area of mathematics with applications in concurrency. It extends the concept of a topological space by adding a notion of directedness, which restricts how paths can evolve through a space and enables thereby a…
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…
We show that under suitable hypotheses, the second homotopy group of the coned-off space associated to a $C(9)$ cubical presentation is trivial, and use this to provide classifying spaces for proper actions for the fundamental groups of…
Quasi-BPS categories appear as summands in semiorthogonal decompositions of DT categories for Hilbert schemes of points in the three dimensional affine space and in the categorical Hall algebra of the two dimensional affine space. In this…
This paper presents two algorithms. In their simplest form, the first algorithm decides the existence of a pointed homotopy between given simplicial maps f, g from X to Y and the second computes the group $[\Sigma X,Y]^*$ of pointed…
In this paper we study the homotopy limits of cosimplicial diagrams of dg-categories. We first give an explicit construction of the totalization of such a diagram and then show that the totalization agrees with the homotopy limit in the…
We construct "higher" motion planners for automated systems whose space of states are homotopy equivalent to a polyhedral product space $Z(K,\{(S^{k_i},\star)\})$, e.g. robot arms with restrictions on the possible combinations of…
Picard 2-categories are symmetric monoidal 2-categories with invertible 0-, 1-, and 2-cells. The classifying space of a Picard 2-category $\mathcal{D}$ is an infinite loop space, the zeroth space of the $K$-theory spectrum $K\mathcal{D}$.…
We show that the Snake on a square $SC(S^1)$ is homotopy equivalent to the space $AC(S^1)$ which was investigated in the previous work by Eda, Karimov and Repov\vs. We also introduce related constructions $CSC(-)$ and $CAC(-)$ and…
Triangulated categories arising in algebra can often be described as the homotopy category of a pretriangulated dg-category, a category enriched in chain complexes with a natural notion of shifts and cones that is accessible with all the…
We explicitly compute the 2-group of self-equivalences and (homotopy classes of) chain homotopies between them for any {\it split} chain complex $A_{\bullet}$ in an arbitrary $\kb$-linear abelian category ($\kb$ any commutative ring with…
Let G be a connected real reductive algebraic group, and let K be a maximal compact subgroup of G. We prove that the conjugation orbit space Hom(Z^{2d},K)/K is a strong deformation retract of the space Hom(Z^{2d},G)/G of equivalence classes…
This article establishes, for an appropriate localisation of associative rings, a long exact sequence in algebraic K-theory. The main result goes as follows. Let A be an associative ring and let A-->B be the localisation with respect to a…
We notice that, for branes wrapped on complex analytic subvarieties, the algebraic-geometric version of K-theory makes the identification between brane-antibrane pairs and lower-dimensional branes automatic. This is because coherent sheaves…
We classify the homotopy types of reduced 2-nilpotent simplicial groups in terms of the homology an d boundary invariants $b,\beta$. This contains as special cases results of J.H.C. Whitehead on 1-connected 4-dimensional complexes and of…
We construct a discrete model of the homotopy theory of $S^1$-spaces. We define a category $\sP$ with objects composed of a simplicial set and a cyclic set along with suitable compatibility data. $\sP$ inherits a model structure from the…
Among other results, we prove the following theorem about Steiner minimal trees in $d$-dimensional Euclidean space: if two finite sets in $\mathbb{R}^d$ have unique and combinatorially equivalent Steiner minimal trees, then there is a…
This work presents a new path classification criterion to distinguish paths geometrically and topologically from the workspace, which is divided through cell decomposition, generating a medial-axis-like skeleton structure. We use this…
Given a compact Hermitian complex space with isolated singular points, we construct a Dolbeault-type Hilbert complex whose cohomology is isomorphic to the cohomology of the structure sheaf. We show that the corresponding K-homology class…
The notion of geometric nerve of a 2-category (Street, \cite{refstreet}) provides a full and faithful functor if regarded as defined on the category of 2-categories and lax 2-functors. Furthermore, lax 2-natural transformations between lax…