Сподобился использовать в своей работе теорему Говорова-Лазара о том, что всякий плоский модуль является направленным прямым пределом конечно-порожденных свободных. Теперь мне нужно обобщение этого дела на "большие" кольца (в смысле, предаддитивные категории).
P.S. Ну да, теорема Г.-Л. для больших колец доказывается совершенно так же, как и для обыкновенных. Вообще, если так подумать, то в теории некоммутативных колец есть естественное направление обобщения на
градуированные (в том числе, некоммутативной группой, некоммутативной полугруппой...) кольца и дальше следующий шаг -- большие кольца.