About the globular homology of higher dimensional automata
classification
🧮 math.CT
cs.OHmath.AT
keywords
homologyareaautomatadefinitiondimensionalglobularhighermorphisms
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.