About the globular homology of higher dimensional automata (2000)
by
Philippe Gaucher
BibTeX
@MISC{Gaucher00aboutthe,
author = {Philippe Gaucher},
title = {About the globular homology of higher dimensional automata},
year = {2000}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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 [Gau99] 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.
Citations
| 226 | Simplicial objects in algebraic topology - May - 1967 |
| 87 | The Algebra of Oriented Simplexes - Street |
| 47 | Homotopy invariants of higher dimensional categories and concurrency in computer science - Gaucher |
| 46 | The Geometry of Concurrency - Goubault - 1995 |
| 39 | Algebraic topology and concurrency - Fajstrup, Goubault, et al. |
| 34 | Combinatorics of branchings in higher dimensional automata - Gaucher |
| 28 | The equivalence of ∞-groupoids and crossed complexes’. Cahiers Topologie Géom. Différentielle 22 (4 - Brown, Higgins - 1981 |
| 28 | Simplicial methods and the interpretation of triple cohomology - Duskin |
| 26 | Theorie des ensembles - Bourbaki - 1990 |
| 25 | Tensor products of infinity-categories - Steiner - 1991 |
| 6 | Classifying holes of arbitrary dimensions in partially ordered cubes - Sokolowski - 1999 |
