Contraherent cosheaves of contramodules on Noetherian formal schemes

[posic]

Вторая версия -- http://arxiv.org/abs/2603.27732

Медленно-медленно рождается на свет понятие контрагерентного копучка контрамодулей. Вот уже и прямые/обратные образы контрагерентных копучков контрамодулей при морфизмах формальных схем есть у меня...