Abstract

We explore the combinatorial properties of the branching areas of execution paths in higher dimensional automata. Mathematically, this means that we investigate the combinatorics of the negative corner (or branching) homology of a globular #-category and the combinatorics of a new homology theory called the reduced branching homology. The latter is the homology of the quotient of the branching complex by the sub-complex generated by its thin elements. Conjecturally it coincides with the non reduced theory for higher dimensional automata, that is #-categories freely generated by precubical sets. As application, we calculate the branching homology of some #-categories and we give some invariance results for the reduced branching homology. We only treat the branching side. The merging side, that is the case of merging areas of execution paths is similar and can be easily deduced from the branching side.

Citations

226	Simplicial objects in algebraic topology - May - 1967
226	An introduction to homological algebra - Weibel - 1994
121	Modeling concurrency with geometry - Pratt
110	On the algebra of cubes - Brown, Higgins - 1981
102	Monoidal globular categories as a natural environment for the theory of weak n-categories - Batanin - 1998
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
44	Multiple categories: the equivalence of a globular and a cubical approach’. Adv. Math. 170 (1) (2002) 71–118. 7 [AB92 - Al-Agl, Brown, et al. - 1992
39	Algebraic topology and concurrency - Fajstrup, Goubault, et al.
38	Iterated loop spaces - Milgram
33	Abstract homotopy and simple homotopy theory, World Scientific - Kamps, Porter - 1997
31	Nerves of multiple categories - Al-Agl, Steiner - 1992
30	Double categories, 2-categories, thin structures and connections - Brown, Mosa - 1999
30	The combinatorics of n-categorical pasting - Johnson - 1989
29	Geometry of loop spaces and the cobar construction - Baues - 1980
29	Arrangements of hyperplanes, higher braid groups and higher Bruhat orders - Manin - 1989
28	The equivalence of ∞-groupoids and crossed complexes’. Cahiers Topologie Géom. Différentielle 22 (4 - Brown, Higgins - 1981
28	The petit topos of globular sets - Street
27	Voevodsky, Combinatorial-geometric aspects of polycategory theory: pasting schemes and higher Bruhat orders (list of results), Cah - Kapranov, A - 1991
25	Tensor products of infinity-categories - Steiner - 1991
23	About the globular homology of higher dimensional automata - Gaucher
22	Approche polygraphique des ∞-categories non strictes - Penon - 1999
16	Pasting schemes for the monoidal biclosed structure on ωcat - Crans - 1995
16	General associativity and general composition for double categories. Cahiers Topologie Géom. Différentielle Catégoriques - Dawson, Paré - 1993
15	Implementing a static analyzer of concurrent programs: Problems and perspectives - Cridlig - 1996
11	Pastingin multiple categories - Steiner - 1998
11	The equivalence of 1-groupoids and crossed complexes, Cahiers Topologie G!eom. Diff!erent!ıelle Cat!egoriques 22 - Brown, Higgins - 1981
10	Pullback and pushout squares in a special double category with connections. Cahier de topologie et géométrie différentielle catégorique - Spencer, Wong - 1983
6	An introduction to homological algebra, 38, Cambridge - Weibel - 1994
5	Higher dimensional group theory - Brown - 1998
5	Approche polygraphique des 1-cat'egories non strictes. Cahiers Topologie G'eom. Diff'erentielle Cat'egoriques - Penon - 1999