nLab 2-vector bundle

Context

Bundles

bundles

fiber bundles in physics

Contents

Idea

A 2-module bundle / 2-vector bundle is a fiber ∞-bundle whose typical fiber is a 2-module/2-vector space.

Definition

Let $R$ be a commutative ring, or more generally an E-∞ ring. By the discussion at 2-vector space consider the 2-category

$2 Vect_R \simeq Alg_R$

equivalent to that whose objects are associative algebras (or generally algebras) $A$ over $R$, (being placeholders for the 2-vector space $A Mod$ which is the category of modules over $A$) whose 1-morphisms are bimodules between these algebras (inducing linear functors between the corresponding 2-vector spaces = categories of modules) and whose 2-morphisms are homomorphisms between those.

Under Isbell duality and by the discussion at Modules – as generalized vector bundles we may think of this 2-category as being that of (generalized) 2-vector bundles over a space called $Spec R$.

Examples

Last revised on February 5, 2013 at 02:34:05. See the history of this page for a list of all contributions to it.