Abstract:Let H be a coFrobenius Hopf algebra over a field k. Let A be a right H-comodule algebra over k. We recall that the category of right H-comodules admits a certain model structure whose homotopy category is equivalent to the stable category of right H-comodules given in Farina's paper. In the first part of this paper, we show that the category of left A-module objects in the category of right H-comodules admits a model structure, which becomes a model subcategory of the category of H*-equivariant A-modules endowed with a model structure given in the author's previous paper if H is finite dimensional with a certain assumption. Note that this category is not a Frobenius category in general. We also construct a functorial cofibrant replacement by proceeding the similar argument as in Qi's paper. In the latter half of this paper, we see that cyclic H-comodules which give Hopf-cyclic (co)homology with coefficients in Hopf H-modules are contructible in the homotopy category of right H-comodules, and we investigate a Hopf-cyclic (co)homology in slightly modified setting by assuming A a right H-comodule k-Hopf algebra with H-colinear bijective antipode in stable category of right H-comodules and give an analogue of the characteristic map. We remark that, as an expansion of an idea of taking trivial comodule k as the coefficients, if we take an A-coinvariant part of M assuming M a Hopf A-module in the category of right H-comodules, we have the degree shift of cyclic modules.

Completion under strong homotopy cokernels

Sheaves of Higher Categories on Generalised Spaces

Derived Completions in Stable Homotopy theory

A model structure and Hopf-cyclic theory on the category of coequivariant modules over a comodule algebra

Homological algebra for nonarchimedean completions of group algebras

Free colimit completion in $\infty$-categories

Idempotent Completion of n-Angulated Categories

The Homotopy Theory of $A_\infty$Categories

Equivariant Algebraic K-Theory and Derived completions II: the case of Equivariant Homotopy K-Theory and Equivariant K-Theory

Homotopy coherent theorems of Dold-Kan type

Cofinality Theorems of Infinity Categories and Algebraic K-Theory

Idempotent Completions of n-Exangulated Categories

Exact completion of path categories and algebraic set theory -- Part I: Exact completion of path categories

Complementation in Continuous Cohomology with Coefficients in Banach Modules

Homotopy theories of $(\infty, \infty)$-categories as universal fixed points with respect to enrichment

Enriched cofibration categories

Fukaya A-infinity structure near infinity and the categorical formal completion

On a Completion of Cohomological Functors Generalising Tate Cohomology II

Homotopy limits and colimits and enriched homotopy theory

Coarse cohomology of configuration space and coarse embedding

A monoidal Dold-Kan correspondence for comodules