Related papers: The discrete homotopy hypothesis for directed grap…
In this paper, we extend the definition of cohomology associated to monotone graph properties, to encompass twisted functor coefficients. We introduce oriented matchings on graphs, and focus on their (twisted) cohomology groups. We…
In this paper we introduced an arithmetic graph function which associates with every group G the directed graph whose vertices corresponds to the divisors of |G|. With the help of such functions we introduced arithmetic graphs of classes of…
The purpose of this paper is to develop a homotopical algebra for graphs, relevant to zeta series and spectra of finite graphs. More precisely, we define a Quillen model structure in a category of graphs (directed and possibly infinite,…
The concept of directed strongly regular graphs (DSRG) was introduced by Duval in "A Directed Graph Version of Strongly Regular Graphs" [Journal of Combinatorial Theory, Series A 47(1988)71-100]. Duval also provided several construction…
By homotopy linear algebra we mean the study of linear functors between slices of the $\infty$-category of $\infty$-groupoids, subject to certain finiteness conditions. After some standard definitions and results, we assemble said slices…
We define homotopy group actions in terms of families of $A_\infty$ algebras indexed by a manifold M. We give explicit formulae for the $A_\infty$ morphism induced by a path on the manifold and for the $A_\infty$ homotopy corresponding to a…
We propose a generalization of Sullivan's de Rham homotopy theory to non-simply connected spaces. The formulation is such that the real homotopy type of a manifold should be the closed tensor dg-category of flat bundles on it much the same…
On one hand, together with Pelle Steffens, we recently characterized the infinity category of derived manifolds up to equivalence by a universal property. On the other hand, it is shown in recent work of Behrend-Liao-Xu that the category of…
We introduce a class of algebras over a field $\mathbb{F}$ related to directed graphs in which all edges are labeled by nonzero elements of the field $\mathbb{F}$. If all labels are different from $1$, these algebras are axial algebras. We…
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 introduce the weighted path homology on the category of weigh\-ted directed hypergraphs and describe conditions of homotopy invariance of weighted path homology groups. We give several examples that explain the nontriviality of the…
A relational structure is (connected-)homogeneous if every isomorphism between finite (connected) substructures extends to an automorphism of the structure. We investigate notions which generalise (connected-)homogeneity, where…
Higher dimensional automata, i.e. labelled precubical sets, model concurrent systems. We introduce the homology graph of an HDA, which is a directed graph whose nodes are the homology classes of the HDA. We show that the homology graph is…
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,…
A directed space is a topological space $X$ together with a subspace $\vec{P}(X)\subset X^I$ of \emph{directed} paths on $X$. A symmetry of a directed space should therefore respect both the topology of the underlying space and the topology…
The global formality of Dolgushev depends on the choice of a torsion-free covariant derivative. We prove that the globalized formalities with respect to two different covariant derivatives are homotopic. More explicitly, we derive the…
We develop a robust foundation for studying the fundamental group(oid) in discrete homotopy theory, including: equivalent definitions and basic properties, the theory of covering graphs, and the discrete version of the Seifert-van Kampen…
Symbolic dynamics is partly the study of walks in a directed graph. By a walk, here we mean a morphism to the graph from the Cayley graph of the monoid of non-negative integers. Sets of these walks are also important in other areas, such as…
Let $M$ be a compact two-dimensional manifold and, $f \in C^{\infty}(M,\mathbb{R})$ be a Morse function, and $\Gamma_f$ be its Kronrod-Reeb graph. Denote by $\mathcal{O}_{f}=\{f \circ h \mid h \in \mathcal{D}\}$ the orbit of $f$ with…
This paper studies a discrete homotopy theory for graphs introduced by Barcelo et al. We prove two main results. First we show that if $G$ is a graph containing no 3- or 4-cycles, then the $n$th discrete homotopy group $A_n(G)$ is trivial…