Нашел у себя еще одну глупую ошибку
Apr. 3rd, 2024 04:47 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicНу, дыру в рассуждении. В доказательстве основной теоремы раздела A.5, для обычных производных категорий. Проблема с прямыми слагаемыми, как часто бывает.
Подумав часок, кажется, научился ее заделывать. Обычный трюк. Если C -- ацикличный комплекс (т.е., прямое слагаемое точного) в слабо идемпотентно-полной точной категории, то комплекс C ⊕ C[1] точен.
Подумав часок, кажется, научился ее заделывать. Обычный трюк. Если C -- ацикличный комплекс (т.е., прямое слагаемое точного) в слабо идемпотентно-полной точной категории, то комплекс C ⊕ C[1] точен.
