Комодули как полная подкатегория в модулях

[posic]

замкнуты относительно подобъектов и факторобъектов, но не относительно расширений -- https://mathoverflow.net/questions/378646/m-comodule-if-and-only-if-n-and-l-comodules/378669#378669