For a copy with the hand-drawn figures please email

We give a definition of weak n-categories based on the theory of operads. We work with operads having an arbitrary set S of types, or ‘S-operads’, and given such an operad O, we denote its set of operations by elt(O). Then for any S-operad O there is an elt(O)-operad O + whose algebras are S-operads over O. Letting I be the initial operad with a one-element set of types, and defining I 0+ = I, I (i+1)+ = (I i+) +, we call the operations of I (n−1)+ the ‘n-dimensional opetopes’. Opetopes form a category, and presheaves on this category are called ‘opetopic sets’. A weak n-category is defined as an opetopic set with certain properties, in a manner reminiscent of Street’s simplicial approach to weak ω-categories. In a similar manner, starting from an arbitrary operad O instead of I, we define ‘n-coherent O-algebras’, which are n times categorified analogs of algebras of O. Examples include ‘monoidal n-categories’, ‘stable n-categories’, ‘virtual n-functors ’ and ‘representable n-prestacks’. We also describe how n-coherent O-algebra objects may be defined in any (n + 1)-coherent O-algebra. 1

We begin with a brief sketch of what is known and conjectured concerning braided monoidal 2-categories and their relevance to 4d TQFTs and 2-tangles. Then we give concise definitions of semistrict monoidal 2-categories and braided monoidal 2-categories, and show how these may be unpacked to give long explicit definitions similar to, but not quite the same as, those given by Kapranov and Voevodsky. Finally, we describe how to construct a semistrict braided monoidal 2-category Z(C) as the `center' of a semistrict monoidal category C, in a manner analogous to the construction of a braided monoidal category as the center of a monoidal category. As a corollary this yields a strictification theorem for braided monoidal 2-categories. 1 Introduction This is the first of a series of articles developing the program introduced in the paper `Higher-Dimensional Algebra and Topological Quantum Field Theory' [1], henceforth referred to as `HDA'. This program consists of generalizing algebraic concep...

Abstract not found