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

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

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

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

Сообщества

Настроить S2

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



Некто написал,
>Оснащенные категории нормально как раз определить вполне можно, через дериваторы

Да, но, как пишет в том числе и Лури, пользоваться такой моделью (∞,1)-категории (то есть как категории, оснащенной над категорией топологических пространств) нельзя. Уж если формализм квазикатегорий по Жоялю (который использовал Лури, и который сейчас доминирует) является сильно техничным с ещё более техничными доказательствами, то тут, видимо, вообще что-то невообразимо кошмарное.

Сейчас Эмили Риль из JHU и Доминик Верити из австралийской категорной школы пытаются построить 2-категорные основания для всего этого, чтобы была более простая в плане доказательств и техники, а также по возможности независимая от модели теория, но это work in progress, как говорится. Тем не менее, такие вот пусть не особо прорывные, но хотя бы сравнительно реалистичные проекты вдохновляют больше, нежели чем желание переписать всю математику под "гомотопическо-конструктивно-высшегруппоидную логику" (то, чем занимался Воеводский, хотя и с немного другой целью).


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

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

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



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