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

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

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

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

Сообщества

Настроить S2

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



Пишет Misha Verbitsky ([info]tiphareth)
@ 2019-03-11 07:51:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
верхний пост - 2018
Для связи. Комменты скринятся.

Архивы:
[ 2017-2018 | 2014-2017 | 2013 | 2012 | 2011 | 2007-2010 | 2006 ]


(Читать комментарии) - (Добавить комментарий)


[info]bananeen
2018-08-11 16:58 (ссылка)
Дима, вот эта статья https://arxiv.org/pdf/1112.0040.pdf подходит под пункты (iii) и (iv) из твоего давнишнего поста (http://lj.rossia.org/users/tiphareth/2014747.html?thread=102424091#t102424091):

>>>На практике же, имеем примерно вот что (цитирую из статьи, которую сейчас пишу, про то, почему разумные люди в 90-е не хотели строить теорию высших категорий):

(i) It was felt that it certainly can be done, and in several ways.
(ii) All of the constructions would be very complicated and ad hoc. There is no preferred construction.
(iii) This would not matter: all of the constructions will be equivalent, and moreover, ``the space of all possible constructions is contractible''.
(iv) Moreover, one could even turn the last statement into a theorem.
(v) However, to do so, one needs to make sense of ``the space of all constructions''. This is certainly possible, and there are several ways to do it, just as in (i). But then one also has (ii), (iii), (iv), and the infinite loop.

На самом деле, хотя это и апокриф, примерно такие слова произнес на какой-то лекции Концевич (ну по крайней мере (i)-(iii)). Но в принципе, все так думали.<<<

(Ответить) (Ветвь дискуссии)


[info]bananeen
2018-08-11 16:58 (ссылка)
(Подразумевалось, что это вопрос)

(Ответить) (Уровень выше)


[info]kaledin
2018-08-12 18:00 (ссылка)
Ну не вполне, они типа уже принимают квазикатегории/(1,\infty) как необсуждаемую данность, и по модулю их изучают, какие бывают (n,\infty).

(Ответить) (Уровень выше)


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