For any groupoid, it's groupoid cardinality is the sum of the reciprocals of the automorphism groups over the isomorphism classes. Let us consider the category of vector spaces over a finite field $\mathbb F\_q$ with only invertible morphisms allowed.


Then, the size of the automorphism groups are $g\_n= \prod\_{i=1}^n(q^n-q^{i-1}) = q^{n\choose 2}\prod\_{i=1}^n(q^i-1)$ so it's groupoid cardinality is the following infinite sum:
$$\sum\_{n \geq 1}\frac{1}{g\_n}.$$


Is there a closed form expression for it? Note that as $q\to 1$ in an appropriate sense, the general linear group is supposed to converge to the symmetric group and the groupoid of vector spaces should converge to the groupoid of finite sets.


In this sense, the above infinite sum is an analog of the usual one for $e$ and can perhaps reasonably be called a q-analog of $e$.


Alternatively, in the case of *abelian*, (even semi-simple) categories, is there a better replacement for the groupoid cardinality that I should be using?



What is the groupoid cardinality of the category of vector spaces over a finite field?
Upon substituting $x=\frac{1}{q}$ we obtain
$$\sum\_{n\geq 0}\frac{1}{|\mathrm{GL}\_n(\mathbb F\_q)|}=\sum\_{n\geq 0}\frac{x^{n^2}}{(1-x)(1-x^2)\cdots(1-x^n)}$$
and this evaluates to the product $\prod\_{i\geq 1}\frac{1}{(1-x^{5i-4})(1-x^{5i-1})}$ by the first [Rogers-Ramanujan identity](https://en.wikipedia.org/wiki/Rogers%E2%80%93Ramanujan_identities).


You can also interpret the second Rogers-Ramanujan identity as giving a groupoid cardinality for the category of [affine spaces](https://en.wikipedia.org/wiki/Affine_space) over $\mathbb F\_q$. where the sum becomes $\sum\_{n\geq 0}\frac{1}{|\mathrm{AGL}\_n(\mathbb F\_q)|}$. (Note that I wrote these sums to contain a term for $n=0$, corresponding to the zero dimensional vector/affine space.)


I don't think that there is a good explanation for this evaluation that avoids proving the R-R identities first. In particular it is unclear how to directly relate the exponents of the infinite product side with the category of vector/affine spaces.


