tiphareth: для связи - октябрь 2019

(Читать комментарии) - (Добавить комментарий)

(Анонимно)
2019-10-24 08:05 (ссылка)

А можно вам задать на эту тему пару вопросов?

1) Нужны ли будут сами триангулированные категории, если появится удовлетворительное оснащение (типа стабильных дериваторов)?
2) Stable model pairs ещё планируете разививать?
3) Чем плохи relative categories Барвика-Кана в этом отношении?

Заранее прошу прощения, если мой вопрос вас затруднит.

(Ответить) (Уровень выше) (Ветвь дискуссии)

kaledin
2019-10-24 22:30 (ссылка)

>1) Нужны ли будут сами триангулированные категории, если появится удовлетворительное оснащение (типа стабильных дериваторов)?

Сами по себе нет, но навыки работы с ними да, конечно. Потому в общей ситуации гомотопические расслоеные/кораслоенные квадраты не являются частью данных, положим, но ведут себя ровно так же, как конусы (единственные до неединственного изоморфизма и т.д.).

>2) Stable model pairs ещё планируете разививать?

Не, тупиковая ветвь.

>3) Чем плохи relative categories Барвика-Кана в этом отношении?

Тем же, чем все остальное: это модель, т.е. их надо понимать с точностью до, и проблема выходит на следующий круг. А хороши тем, что выставляют проблему наиболее выпукло. Если квазикатегории или что там это решение, то относительные категории тоже решение, ничем не хуже (и нафиг тогда нужны квазикатегории). Т.е. проблему мы просто отказываемся решать.

(Ответить) (Уровень выше)

(Читать комментарии) -