Abstract:We construct a cohomology theory on a category of finite digraphs (directed graphs), which is based on the universal calculus on the algebra of functions on the vertices of the digraph. We develop necessary algebraic technique and apply it for investigation of functorial properties of this theory. We introduce categories of digraphs and (undirected) graphs, and using natural isomorphism between the introduced category of graphs and the full subcategory of symmetric digraphs we transfer our cohomology theory to the category of graphs. Then we prove homotopy invariance of the introduced cohomology theory for undirected graphs. Thus we answer the question of Babson, Barcelo, Longueville, and Laubenbacher about existence of homotopy invariant homology theory for graphs. We establish connections with cohomology of simplicial complexes that arise naturally for some special classes of digraphs. For example, the cohomologies of posets coincide with the cohomologies of a simplicial complex associated with the poset. However, in general the digraph cohomology theory can not be reduced to simplicial cohomology. We describe the behavior of digraph cohomology groups for several topological constructions on the digraph level and prove that any given finite sequence of non-negative integers can be realized as the sequence of ranks of digraph cohomology groups. We present also sufficiently many examples that illustrate the theory.

The homology graph of a higher dimensional automaton

Topological abstraction of higher-dimensional automata

Weak morphisms of higher dimensional automata

Myhill-Nerode Theorem for Higher-Dimensional Automata

Kleene Theorem for Higher-Dimensional Automata

Idempotents and homology of diagram algebras

On the topology of concurrent systems

Relative Higher Homology and Representation Theory

Cohomology of Digraphs and (undirected) Graphs

The homology digraph of a preordered space

Bisimulations and Logics for Higher-Dimensional Automata

Closure and Decision Properties for Higher-Dimensional Automata

Higher hairy graph homology

A T ] 1 J Ul 2 01 4 Homotopy Theory for Digraphs

Connectivity of spaces of directed paths in geometric models for concurrent computation

Differential Cohomology as Diffeological Homotopy Theory

Automorphisms and subdivisions of Helly graphs

Homotopy conformal algebras

On Homomorphism Graphs

A notion of homotopy for directed graphs and their flag complexes

Automorphic Decompositions of Graphs