Results 1  10
of
39
Homotopy Invariants of Higher Dimensional Categories and Concurrency in Computer Science
, 1999
"... The strict globular omegacategories formalize the execution paths of a parallel automaton and the homotopies between them. One associates to such (and any) omegacategory C three homology theories. The first one is called the globular homology. It contains the oriented loops of C. The two other one ..."
Abstract

Cited by 51 (10 self)
 Add to MetaCart
The strict globular omegacategories formalize the execution paths of a parallel automaton and the homotopies between them. One associates to such (and any) omegacategory C three homology theories. The first one is called the globular homology. It contains the oriented loops of C. The two other ones are called the negative (resp. positive) corner homology. They contain in a certain manner the branching areas of execution paths or negative corners (resp. the merging areas of execution paths or positive corners) of C. Two natural linear maps called the negative (resp. the positive) Hurewicz morphism from the globular homology to the negative (resp. positive) corner homology are constructed. We explain the reason why these constructions allow the reinterpretation of some geometric problems coming from computer science.
TOPOLOGICAL DEFORMATION OF HIGHER DIMENSIONAL AUTOMATA
 HOMOLOGY, HOMOTOPY AND APPLICATIONS, VOL.5(2), 2003, PP.39–82
, 2003
"... A local pospace is a gluing of topological spaces which are equipped with a closed partial ordering representing the time flow. They are used as a formalization of higher dimensional automata (see for instance [6]) which model concurrent systems in computer science. It is known [11] that there are ..."
Abstract

Cited by 51 (26 self)
 Add to MetaCart
(Show Context)
A local pospace is a gluing of topological spaces which are equipped with a closed partial ordering representing the time flow. They are used as a formalization of higher dimensional automata (see for instance [6]) which model concurrent systems in computer science. It is known [11] that there are two distinct notions of deformation of higher dimensional automata, “spatial” and “temporal”, leaving invariant computer scientific properties like presence or absence of deadlocks. Unfortunately, the formalization of these notions is still unknown in the general case of local pospaces. We introduce here a particular kind of local pospace, the “globular CWcomplexes”, for which we formalize these notions of deformations and which are sufficient to formalize
Homotopy Coherent Category Theory
, 1996
"... this paper we try to lay some of the foundations of such a theory of categories `up to homotopy' or more exactly `up to coherent homotopies'. The method we use is based on earlier work on: ..."
Abstract

Cited by 36 (7 self)
 Add to MetaCart
this paper we try to lay some of the foundations of such a theory of categories `up to homotopy' or more exactly `up to coherent homotopies'. The method we use is based on earlier work on:
Combinatorics Of Branchings In Higher Dimensional Automata
 Theory Appl. Categ
, 2001
"... 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 ca ..."
Abstract

Cited by 35 (9 self)
 Add to MetaCart
(Show Context)
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 subcomplex 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.
From Concurrency to Algebraic Topology
, 2000
"... This paper is a survey of the new notions and results scattered in [13], [11] and [12]. Starting from a formalization of higher dimensional automata (HDA) by strict globular !categories, the construction of a diagram of simplicial sets over the threeobject small category gl ! + is exposed. Some of ..."
Abstract

Cited by 25 (9 self)
 Add to MetaCart
This paper is a survey of the new notions and results scattered in [13], [11] and [12]. Starting from a formalization of higher dimensional automata (HDA) by strict globular !categories, the construction of a diagram of simplicial sets over the threeobject small category gl ! + is exposed. Some of the properties discovered so far on the corresponding simplicial homology theories are explained, in particular their links with geometric problems coming from concurrency theory in computer science.
Crossed complexes and homotopy groupoids as non commutative tools for higher dimensional localtoglobal problems
 in Michiel Hazewinkel (ed.), Handbook of Algebra, volume 6, Elsevier
"... ..."
Directed Homotopy Theory, I. The Fundamental Category
 TOPOL. GÉOM. DIFFÉR. CATÉG
, 2001
"... ..."
(Show Context)
A homotopy double groupoid of a Hausdorff space II: A van Kampen Theorem
 THEORY AND APPLICATIONS OF CATEGORIES
, 2005
"... This paper is the second in a series exploring the properties of a functor which assigns a homotopy double groupoid with connections to a Hausdorff space. We show that this functor satisfies a version of the van Kampen theorem, and so is a suitable tool for nonabelian, 2dimensional, localtoglobal ..."
Abstract

Cited by 25 (11 self)
 Add to MetaCart
This paper is the second in a series exploring the properties of a functor which assigns a homotopy double groupoid with connections to a Hausdorff space. We show that this functor satisfies a version of the van Kampen theorem, and so is a suitable tool for nonabelian, 2dimensional, localtoglobal problems. The methods are analogous to those developed by Brown and Higgins for similar theorems for other higher homotopy groupoids. An integral part of the proof is a detailed discussion of commutative cubes in a double category with connections, and a proof of the key result that any composition of commutative cubes is commutative. These results have recently been generalised to all dimensions by Philip Higgins.
Directed combinatorial homology and noncommutative tori (The breaking of symmetries in algebraic topology)
"... This is a brief study of the homology of cubical sets, with two main purposes. First, this combinatorial structure is viewed as representing directed spaces, breaking the intrinsic symmetries of topological spaces. Cubical sets have a directed homology, consisting of preordered abelian groups where ..."
Abstract

Cited by 20 (8 self)
 Add to MetaCart
This is a brief study of the homology of cubical sets, with two main purposes. First, this combinatorial structure is viewed as representing directed spaces, breaking the intrinsic symmetries of topological spaces. Cubical sets have a directed homology, consisting of preordered abelian groups where the positive cone comes from the structural cubes. But cubical sets can also express topological facts missed by ordinary topology. This happens, for instance, in the study of group actions or foliations, where a topologicallytrivial quotient (the orbit set or the set of leaves) can be enriched with a natural cubical structure whose directed cohomology agrees with Connes ' analysis in noncommutative geometry. Thus, cubical sets can provide a sort of 'noncommutative topology', without the metric information of C*algebras.
Weak factorizations, fractions and homotopies
 MR2141595 (2006c:18001), Zbl 1077.18002
"... Abstract. We show that the homotopy category can be assigned to any category equipped with a weak factorization system. A classical example of this construction is the stable category of modules. We discuss a connection with the open map approach to bisimulations proposed by Joyal, Nielsen and Win ..."
Abstract

Cited by 19 (3 self)
 Add to MetaCart
(Show Context)
Abstract. We show that the homotopy category can be assigned to any category equipped with a weak factorization system. A classical example of this construction is the stable category of modules. We discuss a connection with the open map approach to bisimulations proposed by Joyal, Nielsen and Winskel. 1.