Results 1  10
of
10
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 22 (6 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:
Pasting Diagrams in nCategories with Applications to Coherence Theorems and Categories of Paths
, 1987
"... This document was typeset using L ..."
An Australian conspectus of higher categories

, 2004
"... Much Australian work on categories is part of, or relevant to, the development of higher categories and their theory. In this note, I hope to describe some of the origins and achievements of our efforts that they might perchance serve as a guide to the development of aspects of higherdimensional wo ..."
Abstract

Cited by 6 (0 self)
 Add to MetaCart
Much Australian work on categories is part of, or relevant to, the development of higher categories and their theory. In this note, I hope to describe some of the origins and achievements of our efforts that they might perchance serve as a guide to the development of aspects of higherdimensional work. I trust that the somewhat autobiographical style will add interest rather than be a distraction. For so long I have felt rather apologetic when describing how categories might be helpful to other mathematicians; I have often felt even worse when mentioning enriched and higher categories to category theorists. This is not to say that I have doubted the value of our work, rather that I have felt slowed down by the continual pressure to defend it. At last, at this meeting, I feel justified in speaking freely amongst motivated researchers who know the need for the subject is well established. Australian Category Theory has its roots in homology theory: more precisely, in the treatment of the cohomology ring and the Künneth formulas in the book by Hilton and Wylie [HW]. The first edition of the book had a mistake concerning the cohomology ring of a product. The Künneth formulas arise from splittings of the natural short exact sequences
Massless scalar free Field in 1+1 dimensions II: Net Cohomology and . . .
, 2008
"... As an application of Roberts’ net cohomology theory, we positively answer about the completeness of the known set of DHR sectors of the observables of the model in the title, detailed in [7]. This result is achieved via the triviality of the 1cohomology of the underlying causal index poset with val ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
As an application of Roberts’ net cohomology theory, we positively answer about the completeness of the known set of DHR sectors of the observables of the model in the title, detailed in [7]. This result is achieved via the triviality of the 1cohomology of the underlying causal index poset with values in the field net, enhancing this tool for the case of Weyl nets not satisfying the split property and with anyonic commutation rules. We also take advantage of different causal index posets for the nets involved, and obtain the description of the twisted and untwisted sectors of the
Presentations of OmegaCategories By Directed Complexes
, 1997
"... The theory of directed complexes is extended from free !categories to arbitrary ! categories by defining presentations in which the generators are atoms and the relations are equations between molecules. Our main result relates these presentations to the more standard algebraic presentations; we ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
The theory of directed complexes is extended from free !categories to arbitrary ! categories by defining presentations in which the generators are atoms and the relations are equations between molecules. Our main result relates these presentations to the more standard algebraic presentations; we also show that every !category has a presentation by directed complexes. The approach is similar to that used by Crans for pasting presentations. 1991 Mathematics Subject Classification: 18D05. 1 Introduction There are at present three combinatorial structures for constructing !categories: pasting schemes, defined in 1988 by Johnson [8], parity complexes, introduced in 1991 by Street [16, 17] and directed complexes, given by Steiner in 1993 [15]. These structures each consist of cells which have collections of lower dimensional cells as domain and codomain; see for example Definition 2.2 below. They also have `local' conditions on the cells, ensuring that a cell together with its boundin...
Pasting Presentations for OmegaCategories
, 1995
"... The pasting theorem showed that pasting schemes are useful in studying free !categories. It was thought that their inflexibility with respect to composition and identities prohibited wider use. This is not the case: there is a way of dealing with identities which makes it possible to describe !ca ..."
Abstract
 Add to MetaCart
The pasting theorem showed that pasting schemes are useful in studying free !categories. It was thought that their inflexibility with respect to composition and identities prohibited wider use. This is not the case: there is a way of dealing with identities which makes it possible to describe !categories in terms of generating pasting schemes and relations between generated pastings, i.e., with pasting presentations. In this chapter I develop the necessary machinery for this. The main result, that the !category generated by a pasting presentation is universal with respect to respectable families of realizations, is a generalization of the pasting theorem. Contents 1 Introduction 3 2 Pasting schemes according to Johnson 4 2.1 Graded sets : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 4 2.2 !categories : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 5 2.3 Pasting schemes : : : : : : : : : : : : : : : : : : : : : : : : : : : : 6 2.4 The pasting theorem : : ...
COMPLICIAL SETS
, 2004
"... Abstract. The primary purpose of this work is to characterise strict ωcategories as simplicial sets with structure. We prove the StreetRoberts conjecture which states that they are exactly the “complicial sets ” defined and named by John Roberts in his handwritten notes of that title [26].2 VERITY ..."
Abstract
 Add to MetaCart
Abstract. The primary purpose of this work is to characterise strict ωcategories as simplicial sets with structure. We prove the StreetRoberts conjecture which states that they are exactly the “complicial sets ” defined and named by John Roberts in his handwritten notes of that title [26].2 VERITY
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
Nonabelian differential cohomology in Street's . . .
, 2008
"... The general notion of cohomology, as formalized ∞categorically by Ross Street, makes sense for coefficient objects which are ∞category valued presheaves. For the special case that the coefficient object is just an ∞category, the corresponding cocycles characterize higher fiber bundles. This is us ..."
Abstract
 Add to MetaCart
The general notion of cohomology, as formalized ∞categorically by Ross Street, makes sense for coefficient objects which are ∞category valued presheaves. For the special case that the coefficient object is just an ∞category, the corresponding cocycles characterize higher fiber bundles. This is usually addressed as nonabelian cohomology [6, 32]. If instead the coefficient object is refined to presheaves of ∞functors from ∞paths to the given ∞category, then one obtains the cocycles discussed in [4, 26, 27, 28] which characterize higher bundles with connection and hence live in what deserves to be addressed as nonabelian differential cohomology [18]. We concentrate here on ωcategorical models (strict globular ∞categories [9, 13, 10, 11]) and discuss nonabelian differential cohomology with values in ωgroups obtained from integrating L(ie) ∞ algebras [16, 17].
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 formulated ..."
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