posic | Конечно порожденные CDG-модули компактно порождают копроизводную категорию

CDG-кольца, подлежащее градуированное кольцо которого нетерово. Совсем несложное доказательство этого мне прислал письмом сегодня Дима А.

В частности, если подлежащее градуированное кольцо CDG-кольца B нетерово конечной гомологической размерности, то CDG-модули, проективные и конечно порожденные как градуированные модули, компактно порождают абсолютную производную категорию CDG-модулей.

Сей факт, между прочим, может представлять интерес для науки про матричные факторизации и Ландау-Гинзбурга.

Ужасно приятно, что у моей работы есть такие внимательные читатели, не говоря о том, что это важное продвижение.