Hopfological algebra for infinite dimensional Hopf algebras (Q2230605)

At first, we need point out that Hopfological algebra is not a particular algebra system. Actually, this terminology is introduced by \textit{M. Khovanov} [J. Knot Theory Ramifications 25, No. 3, Article ID 1640006, 26 p. (2016; Zbl 1370.18017)] to mean the mixture of homological algebra and the theory of Hopf algebras. In particular, using some particular Hopf algebras to study homological algebra and consider applications, for example, application in categorification questions. \textit{Y. Qi} [Compos. Math. 150, No. 1, 1--45 (2014; Zbl 1343.16010)] developed this theory systematically through using some particular finite-dimensional Hopf algebras. And the paper under reviewed want to generalize above theory to co-Frobenius Hopf algebras, in particular, allows us to consider some infinite-dimensional Hopf algebras.