Related papers: 2-Rig Extensions and the Splitting Principle
We study the notion of a "differential 2-rig", a category R with coproducts and a monoidal structure distributing over them, also equipped with an endofunctor D : R -> R that satisfies a categorified analogue of the Leibniz rule. This is…
We introduce the notion of a naive global 2-ring: a functor from the opposite of the $\infty$-category of global spaces to presentably symmetric monoidal stable $\infty$-categories. By passing to global sections, every naive global 2-ring…
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 construct a theory of 2-vector bundles over a Lie groupoid, with fibers modeled by the bicategory of super algebras, bimodules and intertwiners. We demonstrate that these 2-vector bundles form a symmetric monoidal 2-stack. From this…
By a 2-ring we mean a groupoid with a structure analogous to that of a ring, up to coherent isomorphisms. Two different notions of 2-ring appear in the literature: the notion of {\em Ann-category}, due to Quang, and the notion of {\em…
We study collections of additive categories $\mathcal{M}(G)$, indexed by finite groups $G$ and related by induction and restriction in a way that categorifies usual Mackey functors. We call them `Mackey 2-functors'. We provide a large…
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 introduce the notion of integrality of Grothendieck categories as a simultaneous generalization of the primeness of noncommutative noetherian rings and the integrality of locally noetherian schemes. Two different spaces associated to a…
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 m: G x G -> G has been replaced by a functor. A number of precise definitions of this notion have…
The point of this paper is to prove the conjecture that virtual 2-vector bundles are classified by K(ku), the algebraic K-theory of topological K-theory. Hence, by the work of Ausoni and the fourth author, virtual 2-vector bundles give us a…
In this paper, we develop 2-dimensional algebraic theory which closely follows the classical theory of modules. The main results are giving definitions of 2-module and the representation of 2-ring. Moreover, for a 2-ring $\cR$, we prove…
We formulate a notion of "geometric reductivity" in an abstract categorical setting which we refer to as adequacy. The main theorem states that the adequacy condition implies that the ring of invariants is finitely generated. This result…
Invertibility is important in ring theory because it enables division and facilitates solving equations. Moreover, (nonassociative) rings can be endowed with an extra ''structure'' such as order and topology allowing more richness in the…
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…
Let $G$ be a split reductive group over a finite field $\Fq$. Let $F=\Fq(t)$ and let $\A$ denote the ad\`eles of $F$. We show that every double coset in $G(F)\bsl G(\A)/ K$ has a representative in a maximal split torus of $G$. Here $K$ is…
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…
We show that the unbounded derived category of a Grothendieck category with enough projective objects is the base category of a derivator whose category of diagrams is the full 2-category of small categories. With this structure, we give a…
A equivalence relation, preserving the Chern-Weil form, is defined between connections on a complex vector bundle. Bundles equipped with such an equivalence class are called Structured Bundles, and their isomorphism classes form an abelian…
In the sixties, Grothendieck developed the theory of pro-objects over a category. The fundamental property of the category $Pro(C)$ is that there is an embedding $C \stackrel{c}{\rightarrow} Pro(C)$, $Pro(C)$ is closed under small…
We present a construction of a 2-Hilbert space of sections of a bundle gerbe, a suitable candidate for a prequantum 2-Hilbert space in higher geometric quantisation. We introduce a direct sum on the morphism categories in the 2-category of…