About the globular homology of higher dimensional automata
Category Theory
2007-05-23 v5 Other Computer Science
Algebraic Topology
Abstract
We introduce a new simplicial nerve of higher dimensional automata whose homology groups yield a new definition of the globular homology. With this new definition, the drawbacks noticed with the construction of math.CT/9902151 disappear. Moreover the important morphisms which associate to every globe its corresponding branching area and merging area of execution paths become morphisms of simplicial sets.
Keywords
Cite
@article{arxiv.math/0002216,
title = {About the globular homology of higher dimensional automata},
author = {Philippe Gaucher},
journal= {arXiv preprint arXiv:math/0002216},
year = {2007}
}
Comments
44 pages ; LaTeX2e, 1 figure ; final version to appear in CTGDC