Abstract:This paper is a follow-up to <a class="link-https" data-arxiv-id="2212.09639" href="https://arxiv.org/abs/2212.09639">arXiv:2212.09639</a>. We consider two algebraic settings of comodules over a coring and contramodules over a topological ring with a countable base of two-sided ideals. These correspond to two (noncommutative) algebraic geometry settings of certain kind of stacks and ind-affine ind-schemes. In the context of a coring $\mathcal C$ over a noncommutative ring $A$, we show that all $A$-flat $\mathcal C$-comodules are $\aleph_1$-directed colimits of $A$-countably presentable $A$-flat $\mathcal C$-comodules. In the context of a complete, separated topological ring $\mathfrak R$ with a countable base of neighborhoods of zero consisting of two-sided ideals, we prove that all flat $\mathfrak R$-contramodules are $\aleph_1$-directed colimits of countably presentable flat $\mathfrak R$-contramodules. We also describe arbitrary complexes, short exact sequences, and pure acyclic complexes of $A$-flat $\mathcal C$-comodules and flat $\mathfrak R$-contramodules as $\aleph_1$-directed colimits of similar complexes of countably presentable objects. The arguments are based on a very general category-theoretic technique going back to an unpublished 1977 preprint of Ulmer and rediscovered in <a class="link-https" data-arxiv-id="2310.16773" href="https://arxiv.org/abs/2310.16773">arXiv:2310.16773</a>. Applications to cotorsion periodicity and coderived categories of flat objects in the respective settings are discussed. In particular, in any acyclic complex of cotorsion $\mathfrak R$-contramodules, all the contramodules of cocycles are cotorsion.

The categories of corings and coalgebras over a ring are locally countably presentable

Costability of Comodules

Flat comodules and contramodules as directed colimits, and cotorsion periodicity

Comodules over semiperfect corings

Rational Modules for Corings

On representation categories of $A_\infty$-algebras and $A_\infty$-coalgebras

Entwined comodules and contramodules over coalgebras with several objects: Frobenius, separability and Maschke theorems

Homological algebra of semimodules and semicontramodules: Semi-infinite homological algebra of associative algebraic structures

Quasi-co-Frobenius corings as Galois comodules

Resolutions as directed colimits

The structure of simply colored coalgebras

Hochschild and ordinary cohomology rings of small categories

Categorifying reduced rings

Bi-accessible and bipresentable 2-categories

The simplicial coalgebra of chains under three different notions of weak equivalence

Cofiniteness of local cohomology modules and subcategories of modules

Coherent confluence modulo relations and double groupoids

Closures in $\aleph_0$-categorical bilinear maps

Bicommutants and Arens regularity

Morita theory of comodules over corings