Этальные (ко)пучки контрамодулей?

этальный пучок Z/m-модулей на схеме ---> дискретный Галуа-модуль над Z/m <---> комодуль над групповой коалгеброй Z/m(G)
этальный пучок l^∞-кручения на схеме ---> дискретный Галуа-модуль l^∞-кручения <---> Z_l-комодульный комодуль над групповой коалгеброй Z_l(G)
целый l-адический пучок на схеме ---> (невырожденная) проективная система дискретных Галуа-модулей над Z/l^N, N>0 <---> Z_l-свободный Z_l-контрамодульный комодуль над групповой коалгеброй Z_l(G)

? на схеме ------> контрамодуль над групповой коалгеброй Z/m(G)
? на схеме ------> Z_l-косвободный Z_l-комодульный контрамодуль над групповой коалгеброй Z_l(G)
? на схеме ------> Z_l-контрамодульный контрамодуль над групповой коалгеброй Z_l(G)

(Ко/контрамодульная терминология из работы "Weakly curved A_∞-algebras...")