Трудно быть занудой

1. Во всем должен быть порядок. Поэтому от того, чтобы называть один и тот же объект "полупроизводной категорией" или "производной категорией" в зависимости от того, находимся ли мы в общем случае или в случае конечной гомологической размерности коэффициентов, удержаться решительно невозможно.

2. Эту терминологию нужно разъяснять, что подразумевает необходимость определения понятия "гомологической размерности коэффициентов". Но категорий коэффициентов две -- контрамодули и комодули; о какой из гомологических размерностей идет речь? Говоря об этом, нельзя избежать утверждения, что эти две гомологические размерности на самом деле совпадают.

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