Related papers: A Hurewicz Model Structure for Directed Topology
We combine Homotopy Type Theory with axiomatic cohesion, expressing the latter internally with a version of "adjoint logic" in which the discretization and codiscretization modalities are characterized using a judgmental formalism of "crisp…
Directed Algebraic Topology is beginning to emerge from various applications. The basic structure we shall use for such a theory, a 'd-space', is a topological space equipped with a family of 'directed paths', closed under some operations.…
Algebraic topological methods have been used successfully in concurrency theory, the domain of theoretical computer science that deals with parallel computing. L. Fajstrup, E. Goubault, and M. Raussen have introduced partially ordered…
In this article, we study model structures on the category of finite graphs with $\times$-homotopy equivalences as the weak equivalences. We show that there does not exist an analogue of Str\o{}m-Hurewicz model structure on this category of…
Many dynamical systems can be described in terms of structured flows combining source/sink behavior, cyclic dynamics, and topology-constrained transport. These features arise across a wide range of domains, including physical, engineered,…
We study the topological sector of N=2 sigma-models with H-flux. It has been known for a long time that the target-space geometry of these theories is not Kahler and can be described in terms of a pair of complex structures, which do not…
We develop a new framework for the study of complex continuous time dynamical systems based on viewing them as collections of interacting control modules. This framework is inspired by and builds upon the groupoid formalism of Golubitsky,…
We give a homotopy invariant construction of the Reidemeister trace for the coincidence of two maps between closed manifolds of not necessarily the same dimensions. It is realized as a homology class of the homotopy equalizer, which…
In this short note, we present a persistence module approach to directed cohomology, dual to the directed homology introduced by the author in a previous article. We lay out the first properties of directed cohomology and in particular of…
We recently introduced a formalism for the modeling of temporal networks, that we call stream graphs. It emphasizes the streaming nature of data and allows rigorous definitions of many important concepts generalizing classical graphs. This…
In classical works, Hurewicz and Menger introduced two diagonalization properties for sequences of open covers. Hurewicz found a combinatorial characterization of these notions in terms of continuous images. Recently, Scheepers has shown…
We introduce abelian framed bicategories, which are particular framed bicategories that are locally abelian, and show that they are suitable for developing homology and cohomology theories for directed structures. This means in particular…
Many large, real-world complex networks have rich community structure that a network scientist seeks to understand. These communities may overlap or have intricate internal structure. Extracting communities with particular topological…
Using the theory of extensions of L-infinity algebras, we construct rational homotopy models for classifying spaces of fibrations, giving answers in terms of classical homological functors, namely the Chevalley-Eilenberg and Harrison…
The fundamental group of a directed graph admits a natural sequence of quotient groups called $r$-fundamental groups, and the $r$-fundamental groups can capture properties of a directed graph that the fundamental group cannot capture. The…
The complex projective structures considered is this article are compact curves locally modeled on $\mathbb{CP}^1$. To such a geometric object, modulo marked isomorphism, the monodromy map associates an algebraic one: a representation of…
Persistent homology has recently emerged as a powerful technique in topological data analysis for analyzing the emergence and disappearance of topological features throughout a filtered space, shown via persistence diagrams. Additionally,…
Continuing work begin in arXiv:1910.12609, we interpret the Hurewicz homomorphism for Baker and Richter's noncommutative complex cobordism spectrum $M\xi$ in terms of characteristic numbers (indexed by quasi-symmetric functions) for…
We describe structural properties of strongly connected finite directed graphs, that are invariants of the topological conjugacy of their Markov-Dyck shifts. For strongly connected finite directed graphs with these properties topological…
We connect the homotopy type of simplicial moduli spaces of algebraic structures to the cohomology of their deformation complexes. Then we prove that under several assumptions, mapping spaces of algebras over a monad in an appropriate…