Results 1  10
of
10
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 34 (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...
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 6 (0 self)
 Add to MetaCart
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 2 (1 self)
 Add to MetaCart
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
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
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
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
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.
The word problem for computads
, 2005
"... 1. Concrete presheaf categories p. 20 2. ωgraphs p. 26 3. ωcategories p. 27 ..."
Abstract
 Add to MetaCart
1. Concrete presheaf categories p. 20 2. ωgraphs p. 26 3. ωcategories p. 27
On comparing definitions of "weak n–category"
, 2001
"... 1. My approach is "foundational". On the one hand, I am motivated by the problem of the foundations of mathematics (an unsolved problem as far as I am concerned). On the other hand and this is more relevant here, I start "from scratch", and thus what I say can be understood w ..."
Abstract
 Add to MetaCart
1. My approach is "foundational". On the one hand, I am motivated by the problem of the foundations of mathematics (an unsolved problem as far as I am concerned). On the other hand and this is more relevant here, I start "from scratch", and thus what I say can be understood with little technical knowledge. I only assume a modest amount of category theory as background. I will talk informally about technical matters that are written down formally elsewhere, where they can be studied further. [The text in square brackets [] is either some technical explanation, or a digression.] 2. Terminology First, some terminological conventions. I will use the word "category " in its most general sense: weak ωcategory. This is completely inclusive: all sorts of "categories " are categories ow. here are two extensions of the original meaning: "weak", and "omegadimensional". Weak " signifies an indeterminate notion; there are several different specific versions of weak ategory. It can also be used as a vague notion, when one is merely looking at what one would
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