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 33 (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...
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
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 5 (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
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, edges, surf ..."
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
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 with little technical ..."
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
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.
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
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.