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

We develop a theory of two-parameter quantum polynomial functors. Similar to how (strict) polynomial functors give a new interpretation of polynomial representations of the general linear groups $\operatorname{GL}_n$, the two-parameter…

A framework for higher gauge theory based on a 2-group is presented, by constructing a groupoid of connections on a manifold acted on by a 2-group of gauge transformations, following previous work by the authors where the general notion of…

In this work, we generalize the notion of character for 2-representations of finite 2-groups. The properties of 2-characters bear strong similarities to those classical characters of finite groups, including conjugation invariance,…

We introduce group-theoretical fusion 2-categories, a strong categorification of the notion of a group-theoretical fusion 1-category. Physically speaking, such fusion 2-categories arise by gauging subgroups of a global symmetry. We show…

In this paper we introduce and study \emph{rectangular torsion theories}, i.e.\ those torsion theories $(\C,\T,\F)$ with $\C$ a pointed category, where the canonical functor $\C\to \T\times\F$ is an equivalence of categories. In particular,…

We introduce and examine the notion of principal $\mathbb{Z}_2^n$-bundles, i.e., principal bundles in the category of $\mathbb{Z}_2^n$-manifolds. The latter are higher graded extensions of supermanifolds in which a $\mathbb{Z}_2^n$-grading…

We first formulate a general scheme for the classification of 2-compact groups in terms of maximal torus normalizer pairs. Applying this scheme, we show that all connected and some non-connected 2-compact groups are N-determined. We also…

Tangent category theory is a well-established categorical framework for differential geometry. A long list of fundamental geometric constructions, such as the tangent bundle functor, vector fields, Euclidean spaces, and vector bundles have…

A vector bundle with connection over a supermanifold leads naturally to a notion of parallel transport along superpaths. In this note we show that {\it every} such parallel transport along superpaths comes form a vector bundle with…

In this paper we study the category of standard holomorphic vector bundles on a noncommutative two-torus. We construct a functor from the derived category of such bundles to the derived category of coherent sheaves on an elliptic curve and…

We prove that the 2-category of spaces admits a strong generator made up of the tori. In other words, Whitehead's theorem holds for the 2-category of (not necessarily connected, not pointed) spaces.

We study actions of discrete groups on 2-categories. The motivating examples are actions on the 2-category of representations of finite tensor categories and their relation with the extension theory of tensor categories by groups.…

In the framework of Category Theory, we study the association between finite--dimensional representations of a compact quantum group and quantum vector bundles with linear connections for a given quantum principal bundle with a principal…

We provide a pedagogical introduction to the theory of principal 2-bundles with adjusted connections and show how they enter the description of geometric and non-geometric T-dualities as proposed in arXiv:2204.01783. This description…

The aim of section 1 is to define the homotopic functor to category of Abelian groups, connected with the special classes of bundles with fiber matrix algebra or projective space. The aim of section 2 is to define some generalization of the…

It has been proposed to abandon the requirement that parallel transporters in gauge theories are unitary (or pseudoorthogonal). This leads to a geometric interpretation of Vierbein fields as parts of gauge fields, and nonunitary parallel…

We define a notion of connection in a fibre bundle that is compatible with a singular foliation of the base. Fibre bundles equipped with such connections are in plentiful supply, arising naturally for any Lie groupoid-equivariant bundle,…

We introduce the notion of double cosets relative to two fusion subcategories of a fusion category. Given a tensor functor $F : \C \to \D$ between fusion categories, we introduce an equivalence relation $\approx^F$ on the set $\Lambda_\C$…

As an example of the categorical apparatus of pseudo algebras over 2-theories, we show that pseudo algebras over the 2-theory of categories can be viewed as pseudo double categories with folding or as appropriate 2-functors into…

We develop the Morita theory of fusion 2-categories. In order to do so, we begin by proving that the relative tensor product of modules over a separable algebra in a fusion 2-category exists. We use this result to construct the Morita…