![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Entry tags:
Трудно быть занудой
1. Во всем должен быть порядок. Поэтому от того, чтобы называть один и тот же объект "полупроизводной категорией" или "производной категорией" в зависимости от того, находимся ли мы в общем случае или в случае конечной гомологической размерности коэффициентов, удержаться решительно невозможно.
2. Эту терминологию нужно разъяснять, что подразумевает необходимость определения понятия "гомологической размерности коэффициентов". Но категорий коэффициентов две -- контрамодули и комодули; о какой из гомологических размерностей идет речь? Говоря об этом, нельзя избежать утверждения, что эти две гомологические размерности на самом деле совпадают.
3. Но это утверждение нужно тогда доказывать; а если уж что-то доказывать, то естественно обсудить и смежные утверждения. Вероятный итог: плюс еще две-три страницы длины текста.
2. Эту терминологию нужно разъяснять, что подразумевает необходимость определения понятия "гомологической размерности коэффициентов". Но категорий коэффициентов две -- контрамодули и комодули; о какой из гомологических размерностей идет речь? Говоря об этом, нельзя избежать утверждения, что эти две гомологические размерности на самом деле совпадают.
3. Но это утверждение нужно тогда доказывать; а если уж что-то доказывать, то естественно обсудить и смежные утверждения. Вероятный итог: плюс еще две-три страницы длины текста.