The core groupoid can suffice (Q6575455)

Let \(\mathbb{F}\) be a finite field, let \(\mathfrak{F}\) be the category of finite dimensional vector spaces and linear functions over \(\mathbb{F}\), and let \(\mathfrak{G}\) be the groupoid core of \(\mathfrak{F}\) ; that is, the subcategory of \(\mathfrak{F}\) with all the objects and only the bijective linear functions. Let \(\mathfrak{V}\) be the category of vector spaces over the complex numbers (say). \textit{A. Joyal} and the author [J. Algebra 176, No. 3, 908--946 (1995; Zbl 0833.18004)] studied a braided monoidal structure on the functor category \([\mathfrak{G}, \mathfrak{V}]\). That work could be regarded as a categorified version of the algebra studied by \textit{J. A. Green} [Trans. Am. Math. Soc. 80, 402--447 (1955; Zbl 0068.25605)] in the representation theory of the finite general linear groups. The proof of equivalence refers to a remarkable piece of linear algebra by \textit{L. G. Kovács} [Proc. Am. Math. Soc. 116, No. 4, 911--919 (1992; Zbl 0765.16008)].\N\NThis work results from a study of \textit{N. J. Kuhn} [Adv. Math. 272, 598--610 (2015; Zbl 1354.18001)]. The author's goal is to abstract the categorical structure required to obtain an equivalence between functor categories \([\mathfrak{F}, \mathfrak{V}]\) and \([\mathfrak{G},\mathfrak{V}]\), where \(\mathfrak{G}\) is the core groupoid of the category \(\mathfrak{F}\) and \(\mathfrak{V}\) is a category of modules over a commutative ring. Examples other than Kuhn's are covered by this general setting.