Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Некто написал,
>Это еще зачем? ужас какой.

О, это я тупанул с терминологией. Вы про enhanced, а я сдуру подумал подумал про enriched ("обогащенные"), хех. Прошу прощения.

А я имел в виду, что топологические категории (enriched over Top) - одна из моделей (∞,1)-категорий, но это действительно "ужас", даже по сравнению с квазикатегориями.

>то надо было брать complete Segal spaces (что все в общем-то знали уже в начале 2000х). Complete Segal spaces это хотя бы красиво

Да, наверное. Интересно бы почитать, почему Лури выбрал именно квазикатегории. Я смотрел введение в его книжку, там даже неформального сравния моделей нет (кроме вышеупомянутых топологических категорий, которые упоминаются лишь для педагогический целей). Остальные обзоры на эту тему, которые попадались, были написаны скорее категорщиками, а их прикладная сторона особо не волнует. С Лури теперь проблема ещё с социальная: заменить квазикатегории на другую, даже потенциально лучшую модель в общественном сознании будет трудно, хотя плевать, кто ищет, тот найдет (лишь бы было, что искать, а не как сейчас).


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

Добавить комментарий:

Как:
(комментарий будет скрыт)
Identity URL: 
имя пользователя:    
Вы должны предварительно войти в LiveJournal.com
 
E-mail для ответов: 
Вы сможете оставлять комментарии, даже если не введете e-mail.
Но вы не сможете получать уведомления об ответах на ваши комментарии!
Внимание: на указанный адрес будет выслано подтверждение.
Имя пользователя:
Пароль:
Тема:
HTML нельзя использовать в теме сообщения
Сообщение:



Обратите внимание! Этот пользователь включил опцию сохранения IP-адресов пишущих комментарии к его дневнику.