Вот, что у нас теперь есть -- https://arxiv.org/abs/2004.12953
General comodule-contramodule correspondence Вот, что у нас теперь есть -- https://arxiv.org/abs/2004.12953
