Очень лень разбираться, честно говоря, но я не сомневаюсь, что там ошибка. Надеюсь, кто-нибудь ее быстро найдет. Иначе придется читать.

(Reply to this) (Parent) (Thread)

сам вчитался и нашел
лемма 3.5
более-менее утверждает, что если обьект абелевой категории можно двумя способами разбить в прямую сумму, и у этих сумм изоморфны первые слагаемые, то изоморфны и вторые

(Reply to this) (Parent)

используется оно (вроде) только для построения автоморфизма некоторых экстов, которые над полем все равно нулевые
так что если все обогащено над векторными пространствами а не абелевыми группами, то пока что косяков нет

(Reply to this) (Parent)