Two-vector spaces and groupoids

DOI10.1007/S10485-010-9225-0MaRDI QIDQ647448zbMATH OpenOpenAlexFDO

Authors Jeffrey Colin Morton

Publication date 23 November 2011

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0810.2361

zbMATH Keywords

abelian categoriesgroupoidstwo-functorstwo-vector spaces

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Preadditive, additive categories (18E05) Groupoids (i.e. small categories in which all morphisms are isomorphisms) (20L05)

Abstract: This paper describes a relationship between essentially finite groupoids and 2-vector spaces. In particular, we show to construct 2-vector spaces of Vect-valued presheaves on such groupoids. We define 2-linear maps corresponding to functors between groupoids in both a covariant and contravariant way, which are ambidextrous adjoints. This is used to construct a representation--a weak functor--from Span(Gpd) (the bicategory of groupoids and spans of groupoids) into 2Vect. In this paper we prove this and give the construction in detail.

Review text

The paper is a specification of the groupoidification program of Baez and Dolan. The author uses the Kapranov-Voevodsky definition of a two vectorspace: 2-vectors are \(k\)-tuples of vector spaces, direct sum is addition and tensor product is multiplication. From the author's abstract: ``The paper describes a relationship between essentially finite groupoids and two-vector spaces. In particular, we show how to construct two-vector spaces of \textbf{Vect}-\textit{valued presheaves} on such groupoids. We define two-linear maps corresponding to functors between groupoids in both a covariant and contravariant way, which are ambidextrous adjoints. This is used to construct a representation---a weak functor---from Span(\textbf{FinGpd}) (the bicategory of essentially finite groupoids and spans of groupoids) into \textit{2Vect}. In this paper we prove this and give the construction in detail.

Recommendations

• Generalized 2-vector spaces and general linear 2-groups
• Groupoids in topological vector space
• Representation theory of 2-groups on Kapranov and Voevodsky's 2-vector spaces
• A parallel section functor for 2-vector bundles
• Infinite-dimensional representations of 2-groups

Cites work

• ENRICHED CATEGORIES AND COHOMOLOGY
• Frobenius algebras and ambidextrous adjunctions
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Generalized 2-vector spaces and general linear 2-groups
• Higher dimensional algebra. VII: Groupoidification
• Higher-dimensional algebra. II: 2-Hilbert spaces
• scientific article; zbMATH DE number 1686998 (Why is no real title available?)
• scientific article; zbMATH DE number 2125653 (Why is no real title available?)
• scientific article; zbMATH DE number 2125657 (Why is no real title available?)
• scientific article; zbMATH DE number 49677 (Why is no real title available?)
• scientific article; zbMATH DE number 647417 (Why is no real title available?)
• scientific article; zbMATH DE number 3195417 (Why is no real title available?)
• Pullback and finite coproduct preserving functors between categories of permutation representations
• Sheaves in geometry and logic: a first introduction to topos theory

Cited in

(20)

• Orbifold construction for topological field theories
• Iterated spans and classical topological field theories
• A groupoidification of the fermion algebra
• The general linear 2-groupoid
• Orientation twisted homotopy field theories and twisted unoriented Dijkgraaf-Witten theory
• The groupoid of finite sets is biinitial in the 2-category of rig categories
• Parallel transport of higher flat gerbes as an extended homotopy quantum field theory
• Extended homotopy quantum field theories and their orbifoldization
• Representation theory of 2-groups on Kapranov and Voevodsky's 2-vector spaces
• The categorified Heisenberg algebra. I: A combinatorial representation.
• Scanning of two-dimensional space groups.
• The groupoid (-;2) and the 2-quintuplet functor
• On the representations of 2-groups in Baez-Crans 2-vector spaces
• A parallel section functor for 2-vector bundles
• Dimensional reduction, extended topological field theories and orbifoldization
• Categories of relations as models of quantum theory
• A strict totally coordinatized version of Kapranov and Voevodsky's 2-category 2Vect
• Frobenius objects in the category of spans
• A homotopy bigroupoid of a topological space
• Generalized 2-vector spaces and general linear 2-groups

This page was built for publication: Two-vector spaces and groupoids

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q647448)