Подхода два, а результат один
Jan. 28th, 2019 10:13 amПроизводная категория
| Определение производной категории очень просто. Производная категория абелевой категории A - это локализация категории комплексов Com(A) относительно класса квазиизоморфизмов. Единственное нетривиальное место здесь - это понятие локализации категории. Как это часто бывает, здесь есть два подхода. |
Категория "сетевые мудаки" (вариант - "клоуны", "долбоёбы" и т.д.) - общеизвестная, очень большая, и у каждого
Но до сих пор мне не встречалась попытка построения производной категории. В неё входят те, кто составляет списки сетевых мудаков с рекомендацией впивать источаемую ими мудрость (просто составление списков мудаков не учитывает морфизмов в категории).
Сегодня я нашёл убедительное доказательство того, что эта производная категория непуста (в математическом смысле). И даже два.

