Homology, Homotopy and Applications

Volume 6 (2004)

Number 1

On the homology of small categories and asynchronous transition systems

Pages: 439 – 471

DOI: https://dx.doi.org/10.4310/HHA.2004.v6.n1.a22

Author

Ahmet A. Husainov (Department of Computer Technologies, Komsomolsk-on-Amur State Technical University, Russia)

Abstract

This work is devoted to an interpretation and computation of the first homology groups of the small category given by a rewriting system. It is shown that the elements of the first homology group may be regarded as the equivalence classes of the flows in a graph of the rewriting system. This is applied to calculating the homology groups of asynchronous transition systems and Petri nets. Examples of calculations are given.

Keywords

homology of categories, category of asynchronous systems, category of Petri nets

2010 Mathematics Subject Classification

18G10, 55Uxx, 68M14, 68Q85

Published 1 January 2004