Присоединенная градуированная категория (недоделанное)
Пусть Е -- абелева категория, а F -- точная категория (конечно) фильтрованных объектов Е, для которых последовательные факторобъекты полупросты. Хотелось бы определить "присоединенную градуированную" абелеву категорию G к F. Например, если С -- конильпотентная коалгебра, а E -- категория C-комодулей, то в качестве G должна получиться категория градуированных gr_NC-комодулей, где N -- коаугментационная фильтрация на C.

Есть такая идея: рассмотрим точную категорию объектов E с двумя фильтрациями
...⊃ Uⁱ ⊃ Vⁱ ⊃ Uⁱ⁺¹ ⊃ Vⁱ⁺¹ ⊃ ...
такими что факторобъекты Uⁱ/Uⁱ⁺¹ и Vⁱ/Vⁱ⁺¹ полупросты. Сопоставим такому фильтрованному объекту X градуированный объект с полупростыми компонентами Yⁱ = Uⁱ/Vⁱ.

Нельзя ли получить искомую категорию G, обратив в точной категории фильтрованных объектов типа X все морфизмы, индуцирующие изоморфизмы градуированных объектов Y, и может быть также дополнительно объявив нулевыми все морфизмы между X, индуцирующие нулевые морфизмы на Y? Заметим, что то, что должно быть ядрами и коядрами в G, легко строится на уровне объектов типа X (чем они и интересны).