Two-Vector Spaces and Groupoids

This paper describes a relationship between essentially finite groupoids and two-vector spaces. In particular, we show to construct two-vector spaces of Vect-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(FinGpd) (the bicategory of essentially finite groupoids and spans of groupoids) into 2Vect. In this paper we prove this and give the construction in detail.

[1]  Aaron D. Lauda.  FROBENIUS ALGEBRAS AND AMBIDEXTROUS ADJUNCTIONS , 2005 .

[2]  J. Morton.  Extended TQFT's and Quantum Gravity , 2007, 0710.0032.

[3]  I. Moerdijk,et al.  Sheaves in geometry and logic: a first introduction to topos theory , 1992 .

[4]  E. Panchadcharam.  Categories of Mackey functors , 2007 .

[5]  R. J. Macg,et al.  UNIVERSAL PROPERTIES OF SPAN Dedicated to Aurelio Carboni on the occasion of his 60th birthday , 2004 .

[6]  Ross Street,et al.  ENRICHED CATEGORIES AND COHOMOLOGY , 1983 .

[7]  John C. Baez,et al.  Higher-Dimensional Algebra VI: Lie 2-Algebras , 2003, math/0307263.

[8]  James Dolan,et al.  From Finite Sets to Feynman Diagrams , 2001 .

[9]  Meinhard E. Mayer,et al.  Group theory and physics , 1994 .

[10]  John C. Baez,et al.  Higher-Dimensional Algebra VII: Groupoidification , 2009, 0908.4305.

[11]  Generalized 2-vector spaces and general linear 2-groups , 2006, math/0606472.

[12]  B. Engquist,et al.  Mathematics Unlimited: 2001 and Beyond , 2001 .

[13]  P. Freyd.  Abelian categories : an introduction to the theory of functors , 1965 .

[14]  P. H. Kropholler,et al.  REPRESENTATIONS AND COHOMOLOGY I: Basic representation theory of finite groups and associative algebras , 1994 .

[15]  Vladimir Voevodsky,et al.  2-Categories and Zamolodchikov tetrahedra equations , 1994 .

[16]  John C. Baez.  Higher-Dimensional Algebra II. 2-Hilbert Spaces☆ , 1996 .

[17]  F. W. Lawvere,et al.  Some algebraic problems in the context of functorial semantics of algebraic theories , 1968 .