[Recent Entries][Archive][Friends][User Info]
| Time | Text |
|---|---|
08:26 pm![[info]](http://lj.rossia.org/img/userinfo.gif){kind=small} eduard_balzin[Link] | Спасибо за ответы. >HTT, параграфы 1.2.7.2 и 1.2.7.3. Ну, там и происходит отсылка к тому, что "свойства доказываются с применением модельной структуры Joyal'а", и добро пожаловать в next chapter. Наверное, да, можно не говорить слов "Модельная Категория" и заниматься комбинаторикой симплициальных множеств, просто что от этого число доказанных фактов не сильно меняется. >Можно, но не нужно. Не зря ведь они выбрали квазикатегории, а не умирающий язык модельных категорий. Да я только за то, чтобы был другой метод (к тому же да статья от такого изложения выйграла). :-) Другое дело, каковой именно должна быть замена, сейчас не особо ясно. Те же Complete Segal Spaces довольно симпатичны в плане своих свойств. Квазикатегории кажутся некоторой уникальной вещью, в том же смысле, в котором уникальны симплициальные множества как модели гомотопических типов. Да, например с точки зрения тех же категорий функторов квазикатегории стоят на выделенном месте: в случае Segal Categories или Complete Segal Spaces, фибрантные объекты --- несколько больше, чем просто (\infty,n)-категории (оттого всякие проволочки с декартовой замкнутостью etc). |
| Reply: | |