Подхода два, а результат один

[xaxam]

Производная категория

Определение производной категории очень просто. Производная категория абелевой категории A - это локализация категории комплексов Com(A) относительно класса квазиизоморфизмов. Единственное нетривиальное место здесь - это понятие локализации категории. Как это часто бывает, здесь есть два подхода. Гомологическая алгебра для начинающих

Категория "сетевые мудаки" (вариант - "клоуны", "долбоёбы" и т.д.) - общеизвестная, очень большая, и у каждого объекта субъекта этой категории - свои комплексы.

Но до сих пор мне не встречалась попытка построения производной категории. В неё входят те, кто составляет списки сетевых мудаков с рекомендацией впивать источаемую ими мудрость (просто составление списков мудаков не учитывает морфизмов в категории).

Сегодня я нашёл убедительное доказательство того, что эта производная категория непуста (в математическом смысле). И даже два.

Comments

[epimorphisms_split]

Черт, а я подумал, и правда пост про категории. Пичалька ;)

[xaxam]

Нет, гораздо лучше меня это сделают другие люди.

[arstmas]

вторая ссылка тоже на лазаря

[xaxam]

Два независимых доказательства непустоты.

[arstmas]

всё, понял)