A generalization of Gabriel's Galois covering functors. II: 2-categorical Cohen-Montgomery duality (Q2397323)

\textit{M. Cohen} and \textit{S. Montgomery} proved in [Trans. Am. Math. Soc. 282, 237--258 (1984; Zbl 0533.16001)] that if \(G\) is a finite group of order \(n\), \(A\) is an algebra with a \(G\)-action and \(B\) is a \(G\)-graded algebra then \((A\ast G)\# G\) and \((B\#G)\ast G\) are isomorphic to the full matrix rings over \(A\), respectively over \(B\). A natural question is to find natural extensions of this result by replacing algebras by categories. The main aim of the present paper is to present such a generalization for \(2\)-categories of \(k\)-categories with \(G\)-actions, respectively to \(G\)-graded \(k\)-categories.