Results 1  10
of
16
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
For a copy with the handdrawn figures please email
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
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...
Higher gauge theory
"... Just as gauge theory describes the parallel transport of point particles using connections on bundles, higher gauge theory describes the parallel transport of 1dimensional objects (e.g. strings) using 2connections on 2bundles. A 2bundle is a categorified version of a bundle: that is, one where t ..."
Abstract

Cited by 43 (13 self)
 Add to MetaCart
Just as gauge theory describes the parallel transport of point particles using connections on bundles, higher gauge theory describes the parallel transport of 1dimensional objects (e.g. strings) using 2connections on 2bundles. A 2bundle is a categorified version of a bundle: that is, one where the fiber is not a manifold but a category with a suitable smooth structure. Where gauge theory uses Lie groups and Lie algebras, higher gauge theory uses their categorified analogues: Lie 2groups and Lie 2algebras. We describe a theory of 2connections on principal 2bundles and explain how this is related to Breen and Messing’s theory of connections on nonabelian gerbes. The distinctive feature of our theory is that a 2connection allows parallel transport along paths and surfaces in a parametrizationindependent way. In terms of Breen and Messing’s framework, this requires that the ‘fake curvature ’ must vanish. In this paper we summarize the main results of our theory without proofs. 1
The EckmannHilton argument, higher operads and Enspaces, available at http://www.ics.mq.edu.au
 mbatanin/papers.html of Homotopy and Related Structures
"... The classical EckmannHilton argument shows that two monoid structures on a set, such that one is a homomorphism for the other, coincide and, moreover, the resulting monoid is commutative. This argument immediately gives a proof of the commutativity of the higher homotopy groups. A reformulation of ..."
Abstract

Cited by 33 (5 self)
 Add to MetaCart
The classical EckmannHilton argument shows that two monoid structures on a set, such that one is a homomorphism for the other, coincide and, moreover, the resulting monoid is commutative. This argument immediately gives a proof of the commutativity of the higher homotopy groups. A reformulation of this argument in the language of higher categories is: suppose we have a one object, one arrow 2category, then its Homset is a commutative monoid. A similar argument due to A.Joyal and R.Street shows that a one object, one arrow tricategory is ‘the same’ as a braided monoidal category. In this paper we extend this argument to arbitrary dimension. We demonstrate that for an noperad A in the author’s sense there exists a symmetric operad S n (A) called the nfold suspension of A such that the
Higher YangMills theory
"... Electromagnetism can be generalized to Yang–Mills theory by replacing the group U(1) by a nonabelian Lie group. This raises the question of whether one can similarly generalize 2form electromagnetism to a kind of ‘higherdimensional Yang–Mills theory’. It turns out that to do this, one should repla ..."
Abstract

Cited by 20 (1 self)
 Add to MetaCart
Electromagnetism can be generalized to Yang–Mills theory by replacing the group U(1) by a nonabelian Lie group. This raises the question of whether one can similarly generalize 2form electromagnetism to a kind of ‘higherdimensional Yang–Mills theory’. It turns out that to do this, one should replace the Lie group by a ‘Lie 2group’, which is a category C where the set of objects and the set of morphisms are Lie groups, and the source, target, identity and composition maps are homomorphisms. We show that this is the same as a ‘Lie crossed module’: a pair of Lie groups G, H with a homomorphism t: H → G and an action of G on H satisfying two compatibility conditions. Following Breen and Messing’s ideas on the geometry of nonabelian gerbes, one can define ‘principal 2bundles ’ for any Lie 2group C and do gauge theory in this new context. Here we only consider trivial 2bundles, where a connection consists of a gvalued 1form together with an hvalued 2form, and its curvature consists of a gvalued 2form together with a hvalued 3form. We generalize the Yang–Mills action for this sort of connection, and use this to derive ‘higher Yang– Mills equations’. Finally, we show that in certain cases these equations admit selfdual solutions in five dimensions. 1
Measurable categories and 2groups
 Appl. Cat. Struct
"... Abstract: Using the theory of measurable categories developped in [Yet03], we provide a notion of representations of 2groups more wellsuited to physically and geometrically interesting examples than that using 2VECT (cf. [KV94]). Using this theory we sketch a 2categorical approach to the states ..."
Abstract

Cited by 12 (0 self)
 Add to MetaCart
Abstract: Using the theory of measurable categories developped in [Yet03], we provide a notion of representations of 2groups more wellsuited to physically and geometrically interesting examples than that using 2VECT (cf. [KV94]). Using this theory we sketch a 2categorical approach to the statesum model for Lorentzian quantum gravity proposed in [CY03], and suggest stateintegral constructions for 4manifold invariants. 1
Categorification
 Contemporary Mathematics 230. American Mathematical Society
, 1997
"... Categorification is the process of finding categorytheoretic analogs of settheoretic concepts by replacing sets with categories, functions with functors, and equations between functions by natural isomorphisms between functors, which in turn should satisfy certain equations of their own, called ‘c ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
Categorification is the process of finding categorytheoretic analogs of settheoretic concepts by replacing sets with categories, functions with functors, and equations between functions by natural isomorphisms between functors, which in turn should satisfy certain equations of their own, called ‘coherence laws’. Iterating this process requires a theory of ‘ncategories’, algebraic structures having objects, morphisms between objects, 2morphisms between morphisms and so on up to nmorphisms. After a brief introduction to ncategories and their relation to homotopy theory, we discuss algebraic structures that can be seen as iterated categorifications of the natural numbers and integers. These include tangle ncategories, cobordism ncategories, and the homotopy ntypes of the loop spaces Ω k S k. We conclude by describing a definition of weak ncategories based on the theory of operads. 1
The EckmanHilton argument and higher operads, preprint
, 2006
"... To the memory of my father. The classical EckmannHilton argument shows that two monoid structures on a set, such that one is a homomorphism for the other, coincide and, moreover, the resulting monoid is commutative. This argument immediately gives a proof of the commutativity of the higher homotopy ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
To the memory of my father. The classical EckmannHilton argument shows that two monoid structures on a set, such that one is a homomorphism for the other, coincide and, moreover, the resulting monoid is commutative. This argument immediately gives a proof of the commutativity of the higher homotopy groups. A reformulation of this argument in the language of higher categories is: suppose we have a one object, one arrow 2category, then its Homset is a commutative monoid. A similar argument due to A.Joyal and R.Street shows that a one object, one arrow tricategory is ‘the same’ as a braided monoidal category. In this paper we begin to investigate how one can extend this argument to arbitrary dimension. We provide a simple categorical scheme which allows us to formalise the EckmanHilton type argument in terms of the calculation of left Kan extensions in an appropriate 2category. Then we apply this scheme to the case of noperads in the author’s sense and classical symmetric operads. We demonstrate that there exists a functor of symmetrisation Symn from a certain subcategory of noperads to the
An Invitation to Higher Gauge Theory
, 2010
"... In this easy introduction to higher gauge theory, we describe parallel transport for particles and strings in terms of 2connections on 2bundles. Just as ordinary gauge theory involves a gauge group, this generalization involves a gauge ‘2group’. We focus on 6 examples. First, every abelian Lie gr ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
In this easy introduction to higher gauge theory, we describe parallel transport for particles and strings in terms of 2connections on 2bundles. Just as ordinary gauge theory involves a gauge group, this generalization involves a gauge ‘2group’. We focus on 6 examples. First, every abelian Lie group gives a Lie 2group; the case of U(1) yields the theory of U(1) gerbes, which play an important role in string theory and multisymplectic geometry. Second, every group representation gives a Lie 2group; the representation of the Lorentz group on 4d Minkowski spacetime gives the Poincaré 2group, which leads to a spin foam model for Minkowski spacetime. Third, taking the adjoint representation of any Lie group on its own Lie algebra gives a ‘tangent 2group’, which serves as a gauge 2group in 4d BF theory, which has topological gravity as a special case. Fourth, every Lie group has an ‘inner automorphism 2group’, which serves as the gauge group in 4d BF theory with cosmological constant term. Fifth, every Lie group has an ‘automorphism 2group’, which plays an important role in the theory of nonabelian gerbes. And sixth, every compact simple Lie group gives a ‘string 2group’. We also touch upon higher structures such as the ‘gravity 3group’, and the Lie 3superalgebra that governs 11dimensional supergravity. 1