# Higher vector spaces

As far as I know there are different ways to categorify the notion of vector space/module. These appear (for example) when trying to find extended TQFTs. There are at least two ways (presented at $2$-vector-space at nLab and more generally in the article on $(\infty,n)$-modules):

• The 2-category $\mathsf{Vect}_2$ whose objects are $k$-linear categories, $1$-morphisms are functors and $2$-morphims are natural transformations;
• The 2-category $1\text{-}\mathsf{Alg}$ whose objects are associative $k$-algebras, morphisms are bimodules and $2$-morphisms are bimodules morphisms.

The two are linked by some kind of Tannaka duality: there's a functor $1\text{-}\mathsf{Alg} \to \mathsf{Vect}_2$ (described here) that maps an algebra $A$ to its category of modules $\mathsf{RMod}_A$, an $(A,B)$ bimodule $N$ to the functor $- \otimes_A N$, and a bimodule morphism to the associated natural transformation.

I think this is fully faithful but not essentially surjective. Am I right? How to describe the essential image of this functor? A category in the image has to at least be monoidal and rigid, for example. Is the image possibly the fully dualizable objects?

• Not all categories in the image are monoidal, think of a noncommutative $A$. Oct 16, 2014 at 10:13
• One needs commutative or an $(A,B^{op})$-bimodule. Otherwise the tensor functor will go to left modules instead of right modules. The image should be described by using a $k$-linear version of Morita's theorem: There should exist a compact progenitor. What do you mean by fully faithful for a $2$-functor? Oct 16, 2014 at 13:02
• @Fernando You're right, I'm not sure what I was thinking. Conditions include being abelian, though. Oct 16, 2014 at 13:03
• @Julian Are you sure? If $M$ is a right $A$-mod and $N$ is an $(A,B)$-bimodule then $M \otimes_A N$ is a right $B$-mod no? For fully faithful I meant that $\mathrm{Map}(A,B) \to \mathrm{Map}(F(A), F(B))$ should have been an equivalence of categories, but I've been told since then it's not true (indeed all functors of the form $- \otimes_A N$ preserve colimits, for example). Oct 16, 2014 at 13:05
• Yes, sure. I was mixing up the tensor products, sorry. Oct 16, 2014 at 21:16

As I already noted in the comments: A $k$-linear category is equivalent to a module category iff it is abelian, cocomplete, and there exists a compact projective generator. This is a version of Morita's theorem, which can be found e.g. in this article by Bernhard Keller. For the question about which functors are equivalent to tensor functors the answer is given by Eilenberg-Watts theorem stating that these are exactly the functors which are right exact and preserve small coproducts (see e.g. Athens following article in nlab: http://ncatlab.org/nlab/show/Eilenberg-Watts+theorem )
• Thanks. That first statement is true for abelian categories, right? (ie. if $C$ is abelian, then $C$ is a category of representations iff...). Oct 17, 2014 at 6:25
• The category of finite dimensional $k$ vector spaces is Abelian and has a compact projective generator. How do you distinguish this from, say, the category of all vector spaces? Oct 20, 2014 at 12:07