Results 1  10
of
16
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 49 (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.
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
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 24 (8 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.
Cubical Sets are Generalized Transition Systems
 In LICS'02 (2002). (submitted). References 23
, 2001
"... We show in this article that "labelled" cubical sets (or HigherDimensional Automata) are a natural generalization of transition systems and asynchronous transition systems. This generalizes an older result of [14] which was only holding with precubical sets and subcategories of the classical (se ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
We show in this article that "labelled" cubical sets (or HigherDimensional Automata) are a natural generalization of transition systems and asynchronous transition systems. This generalizes an older result of [14] which was only holding with precubical sets and subcategories of the classical (see [29]) categories of transition systems and asynchronous transition systems. This opens up new promises on the actual use of geometric methods (such as [8]) and on comparisons with other methods for verification of concurrent programs.
Twisted differential nonabelian cohomology Twisted (n−1)brane nbundles and their ChernSimons (n+1)bundles with characteristic (n + 2)classes
, 2008
"... We introduce nonabelian differential cohomology classifying ∞bundles with smooth connection and their higher gerbes of sections, generalizing [138]. We construct classes of examples of these from lifts, twisted lifts and obstructions to lifts through shifted central extensions of groups by the shif ..."
Abstract

Cited by 3 (3 self)
 Add to MetaCart
We introduce nonabelian differential cohomology classifying ∞bundles with smooth connection and their higher gerbes of sections, generalizing [138]. We construct classes of examples of these from lifts, twisted lifts and obstructions to lifts through shifted central extensions of groups by the shifted abelian ngroup B n−1 U(1). Notable examples are String 2bundles [9] and Fivebrane 6bundles [133]. The obstructions to lifting ordinary principal bundles to these, hence in particular the obstructions to lifting Spinstructures to Stringstructures [13] and further to Fivebranestructures [133, 52], are abelian ChernSimons 3 and 7bundles with characteristic class the first and second fractional Pontryagin class, whose abelian cocycles have been constructed explicitly by Brylinski and McLaughlin [35, 36]. We realize their construction as an abelian component of obstruction theory in nonabelian cohomology by ∞Lieintegrating the L∞algebraic data in [132]. As a result, even if the lift fails, we obtain twisted String 2 and twisted Fivebrane 6bundles classified in twisted nonabelian (differential) cohomology and generalizing the twisted bundles appearing in twisted Ktheory. We explain the GreenSchwarz mechanism in heterotic string theory in terms of twisted String 2bundles and its magnetic dual version – according to [133] – in terms of twisted Fivebrane 6bundles. We close by transgressing differential cocycles to mapping
Homotopy Invariants of Multiple Categories and Concurrency in Computer Science
, 1999
"... this paper is to build several homology theories which are strongly related with the geometric properties of these paths. Concurrent machines can be formalized using cubical complexes (definition (2.1.1)) : the main idea is that a ncube represents the simultaneous execution of n 1transitions (Prat ..."
Abstract
 Add to MetaCart
this paper is to build several homology theories which are strongly related with the geometric properties of these paths. Concurrent machines can be formalized using cubical complexes (definition (2.1.1)) : the main idea is that a ncube represents the simultaneous execution of n 1transitions (Pratt, 1991). For example, take the following automaton :
Nonablian cocycles and their σmodel QFTs
, 2008
"... Nonabelian cohomology can be regarded as a generalization of group cohomology to the case where both the group itself as well as the coefficient object are allowed to be generalized to ∞groupoids or even to general ∞categories. Cocycles in nonabelian cohomology in particular represent higher princ ..."
Abstract
 Add to MetaCart
Nonabelian cohomology can be regarded as a generalization of group cohomology to the case where both the group itself as well as the coefficient object are allowed to be generalized to ∞groupoids or even to general ∞categories. Cocycles in nonabelian cohomology in particular represent higher principal bundles (gerbes) – possibly equivariant, possibly with connection – as well as the corresponding associated higher vector bundles. We propose, expanding on considerations in [13, 34, 5], a systematic ∞functorial formalization of the σmodel quantum field theory associated with a given nonabelian cocycle regarded as the background field for a brane coupled to it. We define propagation in these σmodel QFTs and recover central aspects of groupoidification [1, 2] of linear algebra. In a series of examples we show how this formalization reproduces familiar structures in σmodels with finite target spaces such as DijkgraafWitten theory and the Yetter model. The generalization to
Transgression of ntransport and nconnections
, 2008
"... After going through some ground work concerning generalized smooth spaces and their differential graded ommutative algebras of forms, I talk about the issue of transgression of transport ωfunctors and of Lie ∞valued connections to smooth mapping spaces. I discuss how what we call transgression of ..."
Abstract
 Add to MetaCart
After going through some ground work concerning generalized smooth spaces and their differential graded ommutative algebras of forms, I talk about the issue of transgression of transport ωfunctors and of Lie ∞valued connections to smooth mapping spaces. I discuss how what we call transgression of ωfunctors here is really the morphism part of an internal hom, and how that does reproduce the ordinary notion of transgression of differential forms under the relation between ntransport and differential forms.
On nonabelian differential cohomology
, 2008
"... Nonabelian differential ncocycles provide the data for an assignment of “quantities ” to ndimensional “spaces ” which is • locally controlled by a given “typical quantity”; • globally compatible with all possible gluings of volumes. For n = 1 this encompasses the notion of parallel transport in fi ..."
Abstract
 Add to MetaCart
Nonabelian differential ncocycles provide the data for an assignment of “quantities ” to ndimensional “spaces ” which is • locally controlled by a given “typical quantity”; • globally compatible with all possible gluings of volumes. For n = 1 this encompasses the notion of parallel transport in fiber bundles with connection. In general we think of it as parallel ntransport. For low n and/or “sufficiently abelian quantities ” this has been modeled by differential characters, (n − 1)gerbes, (n − 1)bundle gerbes and nbundles with connection. We give a general definition for all n in terms of descent data for transport nfunctors along the lines of [7, 57, 58, 59]. Concrete realizations, notably ChernSimons ncocycles, are obtained by integrating L∞algebras and their higher CartanEhresmann connections [52]. Here we assume all gluing to happen through equivalences. If one
On Σmodels and nonabelian differential cohomology
, 2008
"... A “Σmodel ” can be thought of as a quantum field theory (QFT) which is determined by pulling back nbundles with connection (aka (n−1)gerbes with connection, aka nonabelian differential cocycles) along all possible maps (the “fields”) from a “parameter space ” to the given base space. If formulate ..."
Abstract
 Add to MetaCart
A “Σmodel ” can be thought of as a quantum field theory (QFT) which is determined by pulling back nbundles with connection (aka (n−1)gerbes with connection, aka nonabelian differential cocycles) along all possible maps (the “fields”) from a “parameter space ” to the given base space. If formulated suitably, such Σmodels include gauge theories such as notably (higher) ChernSimons theory. If the resulting QFT is considered as an “extended ” QFT, it should itself be a nonabelian differential cocycle on parameter space whose parallel transport along pieces of parameter space encodes the QFT propagation and correlators. We are after a conception of nonabelian differential cocycles and their quantization which captures this. Our main motivation is the quantization of differential ChernSimons cocycles to extended ChernSimons QFT and its boundary conformal QFT, reproducing the cocycle structure implicit in [23]. • Classical – We conceive nonabelian differential cohomology in terms of cohomology with coefficients in ωcategoryvalued presheaves [48] of parallel transport ωfunctors from ωpaths to a given