Results 1 
4 of
4
Higherdimensional algebra and topological quantum field theory
 Jour. Math. Phys
, 1995
"... For a copy with the handdrawn figures please email ..."
Abstract

Cited by 146 (14 self)
 Add to MetaCart
(Show Context)
For a copy with the handdrawn figures please email
Higher dimensional algebra III: ncategories and the algebra of opetopes
, 1997
"... We give a definition of weak ncategories based on the theory of operads. We work with operads having an arbitrary set S of types, or ‘Soperads’, and given such an operad O, we denote its set of operations by elt(O). Then for any Soperad O there is an elt(O)operad O + whose algebras are Soperads ..."
Abstract

Cited by 75 (6 self)
 Add to MetaCart
(Show Context)
We give a definition of weak ncategories based on the theory of operads. We work with operads having an arbitrary set S of types, or ‘Soperads’, and given such an operad O, we denote its set of operations by elt(O). Then for any Soperad O there is an elt(O)operad O + whose algebras are Soperads over O. Letting I be the initial operad with a oneelement set of types, and defining I 0+ = I, I (i+1)+ = (I i+) +, we call the operations of I (n−1)+ the ‘ndimensional opetopes’. Opetopes form a category, and presheaves on this category are called ‘opetopic sets’. A weak ncategory 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 ‘ncoherent Oalgebras’, which are n times categorified analogs of algebras of O. Examples include ‘monoidal ncategories’, ‘stable ncategories’, ‘virtual nfunctors ’ and ‘representable nprestacks’. We also describe how ncoherent Oalgebra objects may be defined in any (n + 1)coherent Oalgebra.
HigherDimensional Algebra I: Braided Monoidal 2Categories
 Adv. Math
, 1996
"... We begin with a brief sketch of what is known and conjectured concerning braided monoidal 2categories and their relevance to 4d TQFTs and 2tangles. Then we give concise definitions of semistrict monoidal 2categories and braided monoidal 2categories, and show how these may be unpacked to give lon ..."
Abstract

Cited by 52 (9 self)
 Add to MetaCart
(Show Context)
We begin with a brief sketch of what is known and conjectured concerning braided monoidal 2categories and their relevance to 4d TQFTs and 2tangles. Then we give concise definitions of semistrict monoidal 2categories and braided monoidal 2categories, 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 2category 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 2categories. 1 Introduction This is the first of a series of articles developing the program introduced in the paper `HigherDimensional Algebra and Topological Quantum Field Theory' [1], henceforth referred to as `HDA'. This program consists of generalizing algebraic concep...
An introduction to ncategories
 Proc. 7th Conf. Category Theory and Computer Science
"... ..."
(Show Context)