2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/102227Any finite-dimensional Hopf algebra H is Frobenius and the stable category of H-modules is triangulated monoidal. To H-comodule algebras we assign triangulated module-categories over the stable category of H-modules. These module-categories are generalizations of homotopy and derived categories of modules over a differential graded algebra. We expect that, for suitable H, our construction could be a starting point in the program of categorifying quantum invariants of 3-manifolds.30 pages, latex, this version contains very minor correctionsQuantum Algebra18G60Hopfological algebra and categorification at a root of unity: the first stepstext