Re: Про лекцию 0
>Я не знаю сходу ни одного утверждения в категории конечно порожденных модулей над нетеровым кольцом

A ehta kategoriya kak ob'ekt gomologicheskoj algbery nikomu ne interesna, tam vse vorposy razreshil eshche Serre. Dlya prilozhenij nuzhny kak minimum puchki. Esli moduli, to nad nekommutativnymi kol'cami -- raznye kategorii predstavlenij -- tak chto pro neterovost' tozhe mozhno zabyt'.

Pri ehtom ya dumayu, chto ves' formalizm gomologicheskoj algebry mozhno razvit' sovershenno ehffektivno, bez rezol'vent (tipa, lyuboj konkretnyj Ext mozhno predstavit' po Yonede, a napisat' odnu rezol'ventu, kotoraya vychislyaet srazu vse Ext'y, nel'zya i ne nuzhno). No ya ne dumayu, chto mozhno budet chto-libo posschitat'.

Konceptual'no zhe, vybor po neschetnomu mnozhestvu mozhet osobo i ne nuzhen, zato nuzhen vybor po klassu, dlya sleduyushchego kriticheski vazhnogo utverzhdeniya: polnyj strogij essnetially surjective funktor yavlyaetsya ehkvivalentnost'yu. I bez ehtogo, khotya naverno i mozhno, no neshutochno zaebesh'sya.