Утверждение 4.83 на странице 77 по перепечатанному изданию. Вас интересует импликация (ii)==>(i), поскольку всякий функтор является Lan-ом самого себя по категории, на которой он определен, а она в Вашем случае маленькая.
Конечно нужно выучить взвешенные (ко)пределы (Келли использует устаревшее "индексированные"), чтобы разобраться в этом доказательстве, но тогда оно становится более концептуальным, а в неоснащенном случае взвешенные пределы переводятся в конические. Можно в этом доказательстве заменить взвешенные пределы на коэнды, но не думаю, что оно станет от этого понятнее.
Объем статьи Квиллена обманчив, так как она опирается на его книжку про модельные категории. Имеется современный обзор по лекциям Гоерсса, где он все доказывает на семи страницах, после введения в симплициальные методы.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2009-01-07 01:09 am (UTC)Конечно нужно выучить взвешенные (ко)пределы (Келли использует устаревшее "индексированные"), чтобы разобраться в этом доказательстве, но тогда оно становится более концептуальным, а в неоснащенном случае взвешенные пределы переводятся в конические. Можно в этом доказательстве заменить взвешенные пределы на коэнды, но не думаю, что оно станет от этого понятнее.
Объем статьи Квиллена обманчив, так как она опирается на его книжку про модельные категории. Имеется современный обзор по лекциям Гоерсса, где он все доказывает на семи страницах, после введения в симплициальные методы.