Results 1  10
of
13
Representable Multicategories
 Advances in Mathematics
, 2000
"... We introduce the notion of representable multicategory , which stands in the same relation to that of monoidal category as bration does to contravariant pseudofunctor (into Cat). We give an abstract reformulation of multicategories as monads in a suitable Kleisli bicategory of spans. We describe ..."
Abstract

Cited by 51 (6 self)
 Add to MetaCart
We introduce the notion of representable multicategory , which stands in the same relation to that of monoidal category as bration does to contravariant pseudofunctor (into Cat). We give an abstract reformulation of multicategories as monads in a suitable Kleisli bicategory of spans. We describe representability in elementary terms via universal arrows . We also give a doctrinal characterisation of representability based on a fundamental monadic adjunction between the 2category of multicategories and that of strict monoidal categories. The first main result is the coherence theorem for representable multicategories, asserting their equivalence to strict ones, which we establish via a new technique based on the above doctrinal characterisation. The other main result is a 2equivalence between the 2category of representable multicategories and that of monoidal categories and strong monoidal functors. This correspondence extends smoothly to one between bicategories and a se...
Categorical and combinatorial aspects of descent theory, [arXiv:math/0303175
"... There is a construction which lies at the heart of descent theory. The combinatorial aspects of this paper concern the description of the construction in all dimensions. The description is achieved precisely for strict ncategories and outlined for weak ncategories. The categorical aspects concern ..."
Abstract

Cited by 27 (2 self)
 Add to MetaCart
(Show Context)
There is a construction which lies at the heart of descent theory. The combinatorial aspects of this paper concern the description of the construction in all dimensions. The description is achieved precisely for strict ncategories and outlined for weak ncategories. The categorical aspects concern the development of descent theory in low dimensions in order to provide a template for a theory in all dimensions. The theory involves nonabelian cohomology, stacks, torsors, homotopy, and higherdimensional categories. Many of the ideas are scattered through the literature or are folklore; a few are new. Section Headings
Homomorphisms of higher categories
 U.U.D.M. REPORT 2008:47
, 2008
"... We describe a construction that to each algebraically specified notion of higherdimensional category associates a notion of homomorphism which preserves the categorical structure only up to weakly invertible higher cells. The construction is such that these homomorphisms admit a strictly associativ ..."
Abstract

Cited by 15 (0 self)
 Add to MetaCart
(Show Context)
We describe a construction that to each algebraically specified notion of higherdimensional category associates a notion of homomorphism which preserves the categorical structure only up to weakly invertible higher cells. The construction is such that these homomorphisms admit a strictly associative and unital composition. We give two applications of this construction. The first is to tricategories; and here we do not obtain the trihomomorphisms defined by Gordon, Power and Street, but rather something which is equivalent in a suitable sense. The second application is to Batanin’s weak ωcategories.
Yoneda structures from 2toposes
"... Abstract. A 2categorical generalisation of the notion of elementary topos is provided, and some of the properties of the yoneda structure [SW78] it generates are explored. Results enabling one to exhibit objects as cocomplete in the sense definable within a yoneda structure are presented. Examples ..."
Abstract

Cited by 8 (4 self)
 Add to MetaCart
(Show Context)
Abstract. A 2categorical generalisation of the notion of elementary topos is provided, and some of the properties of the yoneda structure [SW78] it generates are explored. Results enabling one to exhibit objects as cocomplete in the sense definable within a yoneda structure are presented. Examples relevant to the globular approach to higher dimensional category theory are discussed. This paper also contains some expository material on the theory of fibrations internal to a finitely complete 2category [Str74b] and provides a selfcontained development of the necessary background material on yoneda structures.
Computads and slices of operads.
, 2002
"... For a given ωoperad A on globular sets we introduce a sequence of symmetric operads on Set called slices of A and show how the connected limit preserving properties of slices are related to the property of the ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
(Show Context)
For a given ωoperad A on globular sets we introduce a sequence of symmetric operads on Set called slices of A and show how the connected limit preserving properties of slices are related to the property of the
The word problem for computads
, 2005
"... 1. Concrete presheaf categories p. 20 2. ωgraphs p. 26 3. ωcategories p. 27 ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
1. Concrete presheaf categories p. 20 2. ωgraphs p. 26 3. ωcategories p. 27
Project Description:
"... d manifolds of a certain dimension and the maps between them are equivalence classes of cobordisms between them, which are manifolds with boundary in the next higher dimension. However, it is in many respects far more natural to deal with an ncobordism "category" constructed from points, e ..."
Abstract
 Add to MetaCart
d manifolds of a certain dimension and the maps between them are equivalence classes of cobordisms between them, which are manifolds with boundary in the next higher dimension. However, it is in many respects far more natural to deal with an ncobordism "category" constructed from points, edges, surfaces, and so on through nmanifolds that have boundaries with corners. The structure encodes cobordisms between cobordisms between cobordisms. This is an ncategory with additional structure, and one needs analogously structured linear categories as targets for the appropriate "functors" that define the relevant TQFT's. One could equally well introduce the basic idea in terms of formulations of programming languages that describe processes between processes between processes. A closely analogous idea has long been used in the study of homotopies between homotopies between homotopies in algebraic topology. Analogous structures appear throughout mathematics. In contrast to the original Eilenb
Strict 2toposes
, 2006
"... Abstract. A 2categorical generalisation of the notion of elementary topos is provided, and some of the properties of the yoneda structure [SW78] it generates are explored. Examples relevant to the globular approach to higher dimensional category theory are discussed. This paper also contains some e ..."
Abstract
 Add to MetaCart
(Show Context)
Abstract. A 2categorical generalisation of the notion of elementary topos is provided, and some of the properties of the yoneda structure [SW78] it generates are explored. Examples relevant to the globular approach to higher dimensional category theory are discussed. This paper also contains some expository material on the theory of fibrations internal to a finitely complete 2category [Str74b] and provides a selfcontained development of the necessary background material on yoneda structures.
unknown title
, 2008
"... We compare computads (as defined in [15], [16], [3]) with multitopic sets (cf. [5] [7]). Both these kinds of structures have ndimensional objects (called ncells for computads and npasting diagrams for multitopic sets), for each natural number n. In both cases, the set of ndimensional objects is ..."
Abstract
 Add to MetaCart
(Show Context)
We compare computads (as defined in [15], [16], [3]) with multitopic sets (cf. [5] [7]). Both these kinds of structures have ndimensional objects (called ncells for computads and npasting diagrams for multitopic sets), for each natural number n. In both cases, the set of ndimensional objects is freely generated by one of its subsets. The computads form a subclass of the more familiar collection of ωcategories while multitopic sets are of a more novel nature, being based on an iteration of free multicategories. Multitopic sets have been devised as a vehicle for a definition of the concept of weak ωcategory.