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.

Clones from comonoids

Clones, closed categories, and combinatory logic

A monoidal Dold-Kan correspondence for comodules

Homological Lemmas in a Non-pointed Context

Submaximal clones over a three-element set up to minor-equivalence

Koszul Monoids in Quasi-abelian Categories

Clonoids between modules

On the number of clonoids

Multisorted Boolean Clones Determined by Binary Relations up to Minion Homomorphisms

A comonadicity theorem for partial comodules

Flat comodules and contramodules as directed colimits, and cotorsion periodicity

Exploring new topologies for the theory of clones

Cloning systems and action operads

The tilting-cotilting correspondence

Cartesian exponentiation and monadicity

Prescribed duality dynamics in comodule categories

Clones of Borel Boolean Functions

Constructing monoidal structures on fibered categories via factorizations

Universal Clone Algebra