Local theory for 2-functors on path 2-groupoids

  title={Local theory for 2-functors on path 2-groupoids},
  author={Urs Schreiber and Konrad Waldorf},
  journal={Journal of Homotopy and Related Structures},
This article is concerned with 2-functors defined on the path 2-groupoid of a smooth manifold. We set up a procedure to extract local data of such 2-functors, similar to the extraction of transition functions of a fibre bundle. The main result of this paper establishes an equivalence between the globally defined 2-functors and their local data. This is a contribution to a project that provides an axiomatic formulation of connections on (possibly non-abelian) gerbes in terms of 2-functors, of… Expand
Parallel 2-transport and 2-group torsors
We provide a new perspective on parallel 2-transport and principal 2-group bundles with 2-connection. We define parallel 2-transport as a 2-functor from the thin fundamental 2-groupoid to theExpand
Integration of $2$-term representations up to homotopy via $2$-functors
Given a representation up to homotopy of a Lie algebroid on a 2-term complex of vector bundles, we define the corresponding holonomy as a strict 2-functor from a Weinstein path 2-groupoid to theExpand
Parallel transport in principal 2-bundles
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, localExpand
Higher groupoid bundles, higher spaces, and self-dual tensor field equations
We develop a description of higher gauge theory with higher groupoids as gauge structure from first principles. This approach captures ordinary gauge theories and gauged sigma models as well as theirExpand
Gauge transformations for categorical bundles
Abstract A gauge transformation of categorical principal bundles arises from a functorial isomorphism between such bundles. We determine the geometric nature of such gauge transformations. For aExpand
Two-dimensional algebra in lattice gauge theory
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 stringExpand
Non-abelian gerbes and some applications in string theory
We review a systematic construction of the 2-stack of bundle gerbes via descent, and extend it to non-abelian gerbes. We review the role of non-abelian gerbes in orientifold sigma models, for theExpand
The higher Riemann-Hilbert correspondence and principal 2-bundles
In this note we show that the holonomies for higher local systems provided by the higher Riemann-Hilbert correspondence coincide with those associated to principal $2$-bundles where both formalismsExpand
Pushforwards and Gauge Transformations for Categorical Connections.
We construct and study pushforwards of categorical connections on categorical principal bundles. Applying this construction to the case of decorated path spaces in principal bundles, we obtain aExpand
Biproducts without pointedness
We show how to define biproducts up to isomorphism in an arbitrary category without assuming any enrichment. The resulting notion coincides with the usual definitions whenever all binary biproductsExpand


Smooth functors vs. differential forms
We establish a relation between smooth 2-functors defined on the path 2-groupoid of a smooth manifold and differential forms on this manifold. This relation can be understood as a part of aExpand
Connections on non-abelian Gerbes and their Holonomy
We introduce an axiomatic framework for the parallel transport of connections on gerbes. It incorporates parallel transport along curves and along surfaces, and is formulated in terms of gluingExpand
Parallel Transport and Functors
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 characterizeExpand
Categories for the Working Mathematician
I. Categories, Functors and Natural Transformations.- 1. Axioms for Categories.- 2. Categories.- 3. Functors.- 4. Natural Transformations.- 5. Monics, Epis, and Zeros.- 6. Foundations.- 7. LargeExpand
Higher Topos Theory
This purpose of this book is twofold: to provide a general introduction to higher category theory (using the formalism of "quasicategories" or "weak Kan complexes"), and to apply this theory to theExpand
Basic Bicategories
A concise guide to very basic bicategory theory, from the definition of a bicategory to the coherence theorem.