Основная проблема с серией постингов

про "MGM-двойственность и ко-контра соответствие" в том, что по ее написании я сам перестал понимать, как должна выглядеть теория, ее включающая. Не в научном смысле -- тут все несложно -- а в научно-педагогическом. Частью какого текста должно стать содержание этой серии постингов? Все того же трактата про контрагерентные копучки, наверное, -- но какой частью? и как должен быть организован весь текст, такую часть огранично включающий?

Текст линеен, а знание многомерно. Изложение течет единой струей, а мысль ветвится. Извечная проблема. Думал было, что научился ее решать, но вот теперь опять гляжу в смятении.

P.S. В конечном итоге нужен, наверное, раздел про квазинаивное ко-контра соответствие для каких-то там квазикомпактных формальных схем, более sophisticated версия нынешней секции 4 (еще один большой раздел на несколько десятков страниц...) Для начала можно было бы ограничиться параграфом в аппендиксе про нетеровы кольца в адической топологии.

Кто все это напишет? Кто все это прочитает?