## The branching nerve of HDA and the Kan condition (2003)

### Cached

### Download Links

- [www.tac.mta.ca]
- [www-irma.u-strasbg.fr]
- [www.emis.de]
- DBLP

### Other Repositories/Bibliography

Venue: | Theory and Applications of Categories |

Citations: | 7 - 6 self |

### BibTeX

@INPROCEEDINGS{Gaucher03thebranching,

author = {Philippe Gaucher},

title = {The branching nerve of HDA and the Kan condition},

booktitle = {Theory and Applications of Categories},

year = {2003},

pages = {2003}

}

### OpenURL

### Abstract

One can associate to any strict globular omega-category three augmented simplicial nerves called the globular nerve, the branching and the merging semi-cubical nerves. If this strict globular omega-category is freely generated by a precubical set, then the corresponding homology theories contain different informations about the geometry of the higher dimensional automaton modeled by the precubical set. Adding inverses in this omega-category to any morphism of dimension greater than 2 and with respect to any composition laws of dimension greater than 1 does not change these homology theories. In such a framework, the globular nerve always satisfies the Kan condition. On the other hand, both branching and merging nerves never satisfy it, except in some very particular and uninteresting situations. In this paper, we introduce two new nerves (the branching and merging semi-globular nerves) satisfying the Kan condition and having conjecturally the same simplicial homology as the branching and merging semi-cubical nerves respectively in such framework. The latter conjecture is related to the thin elements conjecture already introduced in our previous papers.

### Citations

1005 |
Categories for the Working Mathematician
- Lane
- 1971
(Show Context)
Citation Context ...m #Cat Kan 1 to #Cat 1 commutes with limits. One can easily check that both categories #Cat 1 and #Cat Kan 1 are complete. So by standard categorical arguments (for example the solution set condition =-=[10]-=-), this latter functor admits a left adjoint C ## # C from #Cat 1 to #Cat Kan 1 . What we claim is that it is then natural from a computer-scientific point of view to deal with #-categories like # F (... |

301 |
Simplicial objects in algebraic topology
- May
- 1967
(Show Context)
Citation Context ... n . In a simplicial set, the face maps are always denoted by # i , the degeneracy maps by # i . Here are the other conventions about simplicial sets and simplicial homology theories (see for example =-=[11]-=- for further information) : 1. Sets : category of sets 2. Sets # op : category of simplicial sets 3. Sets # op + : category of augmented simplicial sets 4. Comp : category of chain complexes of abelia... |

295 |
An Introduction to Homological Algebra
- Weibel
- 1994
(Show Context)
Citation Context ...E GAUCHER The isomorphism of Theorem 4.9 is actually more than only an isomorphism of #- categories. Indeed, let # be the unique small category such that a presheaf over # is exactly a simplicial set =-=[11, 18]-=-. The category # has for objects the finite ordered sets [n] = {0s1sn} for all integers n # 0 and has for morphisms the nondecreasing monotone functions. One is used to distinguish in this category th... |

131 | Modeling concurrency with geometry, in
- Pratt
- 1991
(Show Context)
Citation Context ...arison with the branching semi-cubical nerve 101 10 Concluding discussion 103 11 Acknowledgments 104 1. Introduction An #-categorical model for higher dimensional automata (HDA) was first proposed in =-=[13]-=-, followed by [9] for a first homological approach using these ideas and cubical models Received by the editors 2001-07-27 and, in revised form, 2003-02-25. Transmitted by Ross Street. Published on 20... |

125 | On the algebra of cubes
- Brown
- 1981
(Show Context)
Citation Context ...mplex, branching, higher dimensional automata, concurrency, homology theory. c # Philippe Gaucher, 2003. Permission to copy for private use granted. 75 76 PHILIPPE GAUCHER of topological spaces as in =-=[2]-=-. The papers [6, 8] demonstrate that the formalism of strict globular #-categories (see Definition 2.1) freely generated by precubical sets (see below) provides a suitable framework for the introducti... |

99 |
The algebra of oriented simplexes
- Street
- 1987
(Show Context)
Citation Context ... merging semi-globular homology and is denoted by H gl + n+1 (C) := H n (N gl + (C)). 2. Preliminaries The reader who is familiar with papers [6, 7, 8] may want to skip this section. 2.1. Definition. =-=[1, 16, 14]-=- An #-category is a set A endowed with two families of maps (s n = d - n ) n#0 and (t n = d + n ) n#0 from A to A and with a family of partially defined 2-ary operations (# n ) n#0 where for any n # 0... |

48 | Homotopy invariants of higher dimensional categories and concurrency in computer science, in: Geometry and concurrency
- Gaucher
(Show Context)
Citation Context ..., higher dimensional automata, concurrency, homology theory. c # Philippe Gaucher, 2003. Permission to copy for private use granted. 75 76 PHILIPPE GAUCHER of topological spaces as in [2]. The papers =-=[6, 8]-=- demonstrate that the formalism of strict globular #-categories (see Definition 2.1) freely generated by precubical sets (see below) provides a suitable framework for the introduction of new algebraic... |

47 | The Geometry of Concurrency - Goubault - 1995 |

37 | Combinatorics of branchings in higher dimensional automata
- Gaucher
(Show Context)
Citation Context ...ponding to the simplicial nerves N gl , N - and N + become? To understand the answer given in Theorem 1.7, we need to recall in an informal way the thin elements conjecture which already showed up in =-=[7]-=-. If C gl (resp. Cs) is the unnormalized chain complex associated to N gl (resp. Ns) and if CR gl (resp. CRs) is the chain complex which is the quotient of C gl (resp. Cs) by the subcomplex generated ... |

29 |
The equivalence of ∞-groupoids and crossed complexes. Cahiers Topologie Géom. Différentielle 22
- BROWN, HIGGINS
- 1981
(Show Context)
Citation Context ... merging semi-globular homology and is denoted by H gl + n+1 (C) := H n (N gl + (C)). 2. Preliminaries The reader who is familiar with papers [6, 7, 8] may want to skip this section. 2.1. Definition. =-=[1, 16, 14]-=- An #-category is a set A endowed with two families of maps (s n = d - n ) n#0 and (t n = d + n ) n#0 from A to A and with a family of partially defined 2-ary operations (# n ) n#0 where for any n # 0... |

29 |
The petit topos of globular sets
- Street
(Show Context)
Citation Context ... non-contracting #-category Before going further in the construction of the negative semi-path #-category of a noncontractings#-category, one needs to recall some well-known facts about globular sets =-=[17]-=-. Let us consider the small category Glob defined as follows : the objects are all natural numbers and the arrows are generated by s and t in Glob(m, m-1) for any m > 0 and by the relations s # s = s ... |

26 |
Approche polygraphique des ∞-catégories non strictes. Cahiers de Topologie et Géométrie Différentielle Catégoriques
- Penon
- 1999
(Show Context)
Citation Context ...s Sets. Let us denote by G # the corresponding category. Let U be the forgetful functor from #Cat to G # . One can prove by standard categorical arguments the existence of a left adjoint F for U (see =-=[12]-=- for an explicit construction of this left adjoint). 3.1. Definition. If G is a globular set, then the #-category FG is called the free #-category generated by the globular set G. Let C be a non-contr... |

25 | From Concurrency to Algebraic Topology
- Gaucher
(Show Context)
Citation Context ...er). This work is part of a research project which aims at setting up an appropriate algebraic setting for the study deformations of HDA which leave invariant their computerscientific properties. See =-=[5]-=- for a sketch of a description of the project. Let us conclude by some remarks about the terminology. A lot of functors have been introduced so far and some coherence in their naming is necessary. Let... |

25 |
Tensor products of infinity-categories
- Steiner
- 1991
(Show Context)
Citation Context ... merging semi-globular homology and is denoted by H gl + n+1 (C) := H n (N gl + (C)). 2. Preliminaries The reader who is familiar with papers [6, 7, 8] may want to skip this section. 2.1. Definition. =-=[1, 16, 14]-=- An #-category is a set A endowed with two families of maps (s n = d - n ) n#0 and (t n = d + n ) n#0 from A to A and with a family of partially defined 2-ary operations (# n ) n#0 where for any n # 0... |

24 | About the globular homology of higher dimensional automata
- Gaucher
(Show Context)
Citation Context ...K)? The globular nerve becomes Kan. Indeed its simplicial part is nothing else but the simplicial nerve of the path #- category P # F (K) of # F (K) which turns out to be a strict globular #-groupoid =-=[8]-=-. So now we can ask the question : do the branching and merging semi-cubical nerves N - ( # F (K)) and N + ( # F (K)) satisfy the Kan condition as well? The answer is : almost never. A counterexample ... |

15 | Implementing a static analyzer of concurrent programs: Problems and perspectives
- Cridlig
- 1996
(Show Context)
Citation Context ...he 0-morphisms represent the states of the HDA, the 1-morphisms the non-constant execution paths, and the p-morphisms with p # 2 the higher dimensional homotopies between them. R. Cridlig presents in =-=[3]-=- an implementation with CaML of the semantics of a real concurrent language in terms of precubical sets, demonstrating the relevance of this approach. However, in such an #-category C = F (K), if H is... |

11 | A Convenient Category for The Homotopy Theory of Concurrency. arXiv:math.AT/0201252 - Gaucher |

10 | Pastingin multiple categories
- Steiner
- 1998
(Show Context)
Citation Context ...= {(0589), (0459)} (the elements in even position are removed). One can also notice that if X is an element of I n or # n , then X = R(X). Both # n and I n are examples of #-complexes in the sense of =-=[15]-=- where the atoms are the elements of the form R({x}) where x is a face of # n (resp. I n ). In such situations, Steiner's paper [15] proves that the calculation rules are very simple and that they can... |

10 |
The equivalence of 1-groupoids and crossed complexes, Cahiers Topologie G!eom. Diff!erent!ıelle Cat!egoriques 22
- Brown, Higgins
- 1981
(Show Context)
Citation Context ... the merging semi-globular homology and is denoted by H gl + n+1(C) := Hn(N gl +(C)). 2. Preliminaries The reader who is familiar with papers [6, 7, 8] may want to skip this section. 2.1. Definition. =-=[1, 16, 14]-=- An !-category is a set A endowed with two families of maps (sn = d-n )n?0 and (tn = d+n )n?0 from A to A and with a family of partially defined 2-ary operations (*n)n?0 where for any n ? 0, *n is a m... |

6 | Geometry and Product - Lockhart, Steiner, et al. - 2002 |

5 |
Approche polygraphique des 1-cat'egories non strictes. Cahiers Topologie G'eom. Diff'erentielle Cat'egoriques
- Penon
- 1999
(Show Context)
Citation Context ...sets Sets. Let us denote by G! the corresponding category. Let U be the forgetful functor from !Cat to G!. One can prove by standard categorical arguments the existence of a left adjoint F for U (see =-=[12]-=- for an explicit construction of this left adjoint). 3.1. Definition. If G is a globular set, then the !-category FG is called the free !-category generated by the globular set G. Let C be a non-contr... |

3 | Simplicial methods and the interpretation of \triple" cohomology - Duskin - 1975 |