К предыдущему
Я, кстати, вовсе не стал бы об этом думать, если бы не было конкретной цели и задачи. Я вообще человек в таких делах осторожный и нерешительный, и ни над чем не начинаю размышлять, пока не увижу с разных точек зрения, что оно должно быть там такое и нужно мне.

Я знаю, что я хочу контраполнять (S-топологии, фильтры Габриэля, подмножества Томасона в спектрах и т.д.) и что потом с этим делать (доказывать полную строгость забывающего функтора из контрамодулей в модули, строить MGM-двойственность в контексте теоремы Попеску-Габриэля и т.д). Другой вопрос, получится ли оно.

Ладно, поздно уже. Попробую заснуть.