Results 1  10
of
14
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 41 (12 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
Restriction Categories I
 Categories of Partial Maps, Theoret. Comput. Sci
, 2006
"... modality”) and a differential combinator, satisfying a number of coherence conditions. In ..."
Abstract

Cited by 10 (1 self)
 Add to MetaCart
modality”) and a differential combinator, satisfying a number of coherence conditions. In
Convenient Categories of Smooth Spaces
, 2008
"... A ‘Chen space ’ is a set X equipped with a collection of ‘plots ’ — maps from convex sets to X — satisfying three simple axioms. While an individual ..."
Abstract

Cited by 9 (0 self)
 Add to MetaCart
A ‘Chen space ’ is a set X equipped with a collection of ‘plots ’ — maps from convex sets to X — satisfying three simple axioms. While an individual
The Fundamental Groupoid as a Topological Groupoid
 Proc. Edinburgh Math. Soc
, 1975
"... Let X be a topological space. Then we may define the fundamental groupoid nX and also the quotient groupoid (nX)/N for N any wide, totally disconnected, normal subgroupoid N of nX (1). The purpose of this note is to show that if X is locally pathconnected and semilocally 1connected, then the topo ..."
Abstract

Cited by 7 (4 self)
 Add to MetaCart
Let X be a topological space. Then we may define the fundamental groupoid nX and also the quotient groupoid (nX)/N for N any wide, totally disconnected, normal subgroupoid N of nX (1). The purpose of this note is to show that if X is locally pathconnected and semilocally 1connected, then the topology of X
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
THREE THEMES IN THE WORK OF CHARLES EHRESMANN: LOCALTOGLOBAL; GROUPOIDS; HIGHER DIMENSIONS.
"... Abstract. This paper illustrates the themes of the title in terms of: van Kampen type theorems for the fundamental groupoid; holonomy and monodromy groupoids; and higher homotopy groupoids. Interaction with work of the writer is explored. Introduction It is a pleasure to honour Charles Ehresmann by ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Abstract. This paper illustrates the themes of the title in terms of: van Kampen type theorems for the fundamental groupoid; holonomy and monodromy groupoids; and higher homotopy groupoids. Interaction with work of the writer is explored. Introduction It is a pleasure to honour Charles Ehresmann by giving a personal account of some of the major themes in his work which interact with mine. I hope it will be useful to suggest how these themes are related, how the pursuit of them gave a distinctive character to his aims and his work, and how they influenced my own work, through his writings and through other people.