Related papers: A convenient category for directed homotopy

Let $R$ be any ring with identity. We show that the homotopy category of all acyclic chain complexes of pure-projective $R$-modules is a compactly generated triangulated category. We do this by constructing abelian model structures that put…

Globular complexes were introduced by E. Goubault and the author in arXiv:math/0107060 to model higher dimensional automata. Globular complexes are topological spaces equipped with a globular decomposition which is the directed analogue of…

In this revised version (August 2025), we add a survey of \infty-categorical (co)limits and a replacement lemma for higher functoriality (Lem. 1.4.5), a framework for explicit models of punctured tubular neighborhoods ({\S}3.4), and a new…

A new method is given for computing generators of the homology groups with integer coefficients for any finite $T_0$-space. An important role in this method is played by irreducible cycles which are defined here and give rise to continuous…

We define novel fully combinatorial models of higher categories. Our definitions are based on a connection of higher categories to "directed spaces". Directed spaces are locally modelled on manifold diagrams, which are stratifications of…

We use derived localization of the bar and nerve constructions to provide simple proofs of a number of results in algebraic topology. This includes a recent generalization of Adams' cobar-construction to the non-simply connected case, and a…

In this paper, we introduce a new class of structured spaces which is locally modeled by Costello's L-infinity spaces. This provides an alternative approach to study the derived geometric structures in the algebraic, analytic, or smooth…

In this paper we derive coincidence and common fixed point results under order homotopies of families of mappings in preordered $b$-metric spaces.

We review the basic definitions and properties concerning smooth structures, convenient spaces, diffeological spaces and tangent structures. The relation betwen them is described. A tangent structure is constructed for each pre-convenient…

In this paper, we present a construction from a Reedy category $C$ of a direct category $\operatorname{Down}(C)$ and a functor $\operatorname{Down}(C) \to C$, which exhibits $C$ as an $(\infty,1)$-categorical localization of…

We prove that the loop space of the directed suspension of a directed space is homotopy equivalent to the James construction. In particular, it does not depend on the directed structure of a given directed space.

Constructing and manipulating homotopy types from categorical input data has been an important theme in algebraic topology for decades. Every category gives rise to a `classifying space', the geometric realization of the nerve. Up to weak…

Tilings of the plane resemble the simplicial and other complexes from algebraic topology, but have not been studied from this perspective. We construct finite categories corresponding to polygons with labeled directed edges, and introduce…

A semantics of concurrent programs can be given using precubical sets, in order to study (higher) commutations between the actions, thus encoding the "geometry" of the space of possible executions of the program. Here, we study the…

Naturally occurring diagrams in algebraic topology are commutative up to homotopy, but not on the nose. It was quickly realized that very little can be done with this information. Homotopy coherent category theory arose out of a desire to…

We develop foundations for oriented category theory, an extension of $(\infty,\infty)$-category theory obtained by systematic usage of the Gray tensor product, in order to study lax phenomena in higher category theory. As categorical…

We introduce some classes of genuine higher categories in homotopy type theory, defined as well-behaved subcategories of the category of types. We give several examples, and some techniques for showing other things are not examples. While…

The path spaces of a directed graph play an important role in the study of graph $\css$. These are topological spaces that were originally constructed using groupoid and inverse semigroup techniques. In this paper, we develop a simple,…

In this paper, we show that the category of Mackey-complete, separated, topological convex bornological vector spaces and bornological linear maps is a differential category. Such spaces were introduced by Fr\"olicher and Kriegl, where they…

There are two rather distinct approaches to Morse theory nowadays: smooth and discrete. We propose to study a real valued function by assembling all associated sections in a topological category. From this point of view, Reeb functions on…