> Есть (в теории размерности).
И в пополнении, ага - только там оно у меня никогда не увязывалось с проективными многообразиями - кажется, там про однородные многочлены вообще ни слова нет.

Сейчас заглянул - вообще очень странная всё-таки книга, там есть пример Нагаты бесконечномерного нётерова кольца, например, но он висит в воздухе. (Ещё, кстати, вспомнил, есть же двухтомник Зарисского-Самуэля).

И гомологической алгебры там нет в смысле определений, а про плоскость и Tor¹ там задачи вполне себе есть (что неудобно). В предисловии они пишут, что полноценно гомологическую алгебру изложить в тонкой книжке нельзя - а это до сих пор правда ? Они ведь там рассказывают, например, про пределы, то есть, казалось бы, добавить одну главу про категории, точные последовательности, 5-лемму и производные функторы - это разве сильно раздуло бы книжку ?