Related papers: Parallel 2-transport and 2-group torsors

We explore various aspects of 2-form topological gauge theories in (3+1)d. These theories can be constructed as sigma models with target space the second classifying space $B^2G$ of the symmetry group $G$, and they are classified by…

This text develops a homotopy theory of 2-categories analogous to Grothendieck's homotopy theory of categories developed in "Pursuing Stacks". We define the notion of "basic localizer of 2-Cat", 2-categorical generalization of…

I propose a way of unambiguously parallel transporting fields on non-Abelian flux tubes, or strings, by means of two gauge fields. One gauge field transports along the tube, while the other transports normal to the tube. Ambiguity is…

In this article we define and investigate a notion of parallel transport on finite projective modules over finite matrix algebras. Given a derivation-based differential calculus on the algebra and a connection on the module, we construct…

A criterion given by Castejon-Amenedo and MacCallum (1990) for the existence of (locally) hypersurface-orthogonal generators of an orthogonally-transitive two-parameter Abelian group of motions (a $G_2I$) in spacetime is re-expressed as a…

This paper introduces the concept of distorted monoidal categories, a generalization of monoidal and braided monoidal categories that supports non-reversible and direction-sensitive tensor structures. Unlike the classical setting, where the…

In this paper we present $2$-category theory from the perspective of Gray-categories using the graphical calculus of separated surface diagrams. As an extended example we consider cones and limits of $2$-functors. Then we use the canonical…

The purpose of this article is threefold: Firstly, we propose some enhancements to the existing definition of 6-functor formalisms. Secondly, we systematically study the category of kernels, which is a certain 2-category attached to every…

Categorical bundles provide a natural framework for gauge theories involving multiple gauge groups. Unlike the case of traditional bundles there are distinct notions of triviality, and hence also of local triviality, for categorical…

This article tackles categorical coherence within a two-dimensional generalization of Lawvere's functorial semantics. 2-theories, a syntactical way of describing categories with structure, are presented. From the perspective here afforded,…

Representation theorems relate seemingly complex objects to concrete, more tractable ones. In this paper, we take advantage of the abstraction power of category theory and provide a general representation theorem for a wide class of…

The regular representation of an essentially finite 2-group $\mathbb{G}$ in the 2-category $\mathbf{2Vect}_k$ of (Kapranov and Voevodsky) 2-vector spaces is defined and cohomology invariants classifying it computed. It is next shown that…

Derivators, introduced independently by Grothendieck and Heller in the 1980s, provide a categorical framework for studying homotopy theory. They are based on the idea that, while the homotopy 1-category of a single model category or…

We classify various types of graded extensions of a finite braided tensor category $\cal B$ in terms of its $2$-categorical Picard groups. In particular, we prove that braided extensions of $\cal B$ by a finite group $A$ correspond to…

The notion of geometric nerve of a 2-category (Street, \cite{refstreet}) provides a full and faithful functor if regarded as defined on the category of 2-categories and lax 2-functors. Furthermore, lax 2-natural transformations between lax…

We use a result of J. Mather on the existence of connecting orbits for compositions of monotone twist maps of the cylinder to prove the existence of connecting geodesics on the unit tangent bundle $ST^2$ of the 2-torus in regions without…

We fill a gap in the literature regarding `transport of structure' for (n+2)-angulated, n-exact, n-abelian and n-exangulated categories appearing in (classical and higher) homological algebra. As an application of our main results, we show…

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 their categorifications on a very general…

We construct a modular functor which takes its values in the monoidal bicategory of finite categories, left exact functors and natural transformations. The modular functor is defined on bordisms that are 2-framed. Accordingly we do not need…

We propose a description of T-duality between general geometric and non-geometric backgrounds as higher groupoid bundles with connections. Our description extends the previous observation by Nikolaus and Waldorf that the topological aspects…