Related papers: Parallel 2-transport and 2-group torsors
We prove a Lie 2-group torsor version of the well-known one-one correspondence between fibered categories and pseudofunctors. Consequently, we obtain a weak version of the principal Lie group bundle over a Lie groupoid. The correspondence…
We investigate an interplay between some ideas in traditional gauge theory and certain concepts in fibered categories. We accomplish this by introducing a notion of a principal Lie 2-group bundle over a Lie groupoid and studying its…
Connections and curvings on gerbes are beginning to play a vital role in differential geometry and mathematical physics -- first abelian gerbes, and more recently nonabelian gerbes. These concepts can be elegantly understood using the…
Parallel transport of a connection in a smooth fibre bundle yields a functor from the path groupoid of the base manifold into a category that describes the fibres of the bundle. We characterize functors obtained like this by two notions we…
A nice differential-geometric framework for (non-abelian) higher gauge theory is provided by principal 2-bundles, i.e. categorified principal bundles. Their total spaces are Lie groupoids, local trivializations are kinds of Morita…
I categorify the definition of fibre bundle, replacing smooth manifolds with differentiable categories, Lie groups with coherent Lie 2-groups, and bundles with a suitable notion of 2-bundle. To link this with previous work, I show that…
We associate to a 2-vector bundle over an essentially finite groupoid a 2-vector space of parallel sections, or, in representation theoretic terms, of higher invariants, which can be described as homotopy fixed points. Our main result is…
Just as gauge theory describes the parallel transport of point particles using connections on bundles, higher gauge theory describes the parallel transport of 1-dimensional objects (e.g. strings) using 2-connections on 2-bundles. A 2-bundle…
This paper is motivated by recent developments of higher gauge theory. Different from its style of using higher category theory, we try to describe the concept of higher parallel transport within setting of classical principal bundle…
We define functorial isomorphisms of parallel transport along etale paths for a class of G-principal bundles on a p-adic curve where G is a connected reductive algebraic group of finite presentation. This class consists of all principal…
In the context of non-abelian gerbes we define a cubical version of categorical group 2-bundles with connection over a smooth manifold. We define their two-dimensional parallel transport, study its properties, and define non-abelian Wilson…
We extend the usual notion of parallel transport along a path to triangulated surfaces. A homotopy of paths is lifted into a fibered category with connection and this defines a functor between the fibers above the boundary paths. These…
We define functorial isomorphisms of parallel transport along \'etale paths for a class of principal $G$-bundles on a $p$-adic curve. Here $G$ is a connected reductive algebraic group of finite presentation and the considered principal…
In this paper we introduce a notion of parallel transport for principal bundles with connections over differentiable stacks. We show that principal bundles with connections over stacks can be recovered from their parallel transport thereby…
We provide a visual and intuitive introduction to effectively calculating in 2-groups along with explicit examples coming from non-abelian 1- and 2-form gauge theory. In particular, we utilize string diagrams, tools similar to tensor…
Actions of bicategories arise as categorification of actions of categories. They appear in a variety of different contexts in mathematics, from Moerdijk's classification of regular Lie groupoids in foliation theory, to Waldmann's work on…
Many physical theories, including notably string theory, require non-abelian higher gauge fields defining higher holonomy. Previous approaches to such higher connections on categorified principal bundles require these to be fake flat. This…
A 2-group is a "categorified" version of a group, in which the underlying set G has been replaced by a category and the multiplication map has been replaced by a functor. Various versions of this notion have already been explored; our goal…
We deal with the symmetries of a (2-term) graded vector space or bundle. Our first theorem shows that they define a (strict) Lie 2-groupoid in a natural way. Our second theorem explores the construction of nerves for Lie 2-categories,…
The geometry of the total space of a principal bundle with regard to the action of the bundle's structure group is elegantly described by the bundle's operation, a collection of derivations consisting of the de Rham differential and the…