[Recent Entries][Archive][Friends][User Info]
| Time | Text |
|---|---|
09:22 pm![[info]](http://lj.rossia.org/img/userinfo.gif){kind=small} eduard_balzin[Link] | >Кроме того, у меня ощущение, что если не заниматься сравнениями, то 1.2.7.3 можно доказать более прямым и простым способом (комбинируя упомянутые леммы и выкидывая лишнее). Что ж, вполне себе можно ожидать появления "квазикатегорий для работающего математика". К сожалению, текст Lurie все же для людей, уже знающих про "старую науку" достаточно много (это мое мнение, конечно). Вот есть вопрос: можно ли использовать данное в статье Шоммер-Приса и Барвика определение, чтобы развивать модельно-независимую теорию (∞,n)-категорий? (интересно, сами авторы относятся к своему определению "теории n-категорий" как к методу решения классификационной задачи, или же у людей уже витают мысли о том, как строить науку internal to that definition?). |
| Reply: | |