A Larson-Sweedler theorem for Hopf \(\mathcal{V} \)-categories (Q2214098)

A classical result of \textit{R. G. Larson} and \textit{M. E. Sweedler} [Am. J. Math. 91, 75--94 (1969; Zbl 0179.05803)] says that a bialgebra which is a free module of finite rank over a PID has a non-singular left integral if and only if it is a Hopf algebra. The main aim of the paper under review is to extend this result to Hopf \(\mathcal{V}\)-categories in the sense of \textit{E. Batista} et al. [Algebr. Represent. Theory 19, No. 5, 1173--1216 (2016; Zbl 1373.16057)]. A systematic study of integral theory in Hopf \(\mathcal{V}\)-categories is performed and related to the Frobenius property. Some applications to monoidal Hom-Hopf algebras, graded Hopf algebras, Turaev's Hopf group coalgebras, weak (multiplier) Hopf algebras and groupoid algebras are presented.