[Recent Entries][Archive][Friends][User Info]
[игры]| October 24th, 2019 | |||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 12:11 pm [Link] |     Лоран Шварц - ЛоранШварцем, а шо це таке "ТОПОСі" ? Не прочесть ли мне мануалы Джейкоба Лурье? Производная АГ, бесконечные категории. хотя бесконечного ничего нет (кроме глупости), но это близко к L4-идее логического_лазера со всеми єтими "вырождениями МОД" абсолютно никогда не читал Лурье, Джейкоба в последнее время пристрастился к HOTT Воеводского (єквивалентность єквивалентна идентичности) ну и Лорана, пора уже "доедать". и хочу тензоры повторить по Беллману/Акивису. (Бо у гугла уже есть тензорные процессоры, и в нейросетях юзАет Илон Масх (наверное через ноздри) ) Но вот Лурье, Джейкобая не читал. А надо читать. Еще впервее Гриффитса-Харриса, даже ________________________ posic умнее всех! Даром, что КоЖдановец (Жданов старое имя Мариуполя) Все множества, взятые вместе, образуют категорию. Все категории, взятые вместе, образуют 2-категорию. Все 2-категории, взятые вместе, образуют 3-категорию, и т.д. Почему? Потому что между множествами бывают отображения. Множества + отображения между ними -- это категория множеств. А между категориями бывают функторы. Далее, если С и D -- категории, а F и G -- функторы из C в D, то между F и G бывают естественные преобразования (морфизмы функторов). Категории + функторы + естественные преобразования функторов -- это 2-категория категорий. Current Mood: | ||||||||||||||||||||||||||||||||||||
| Comments | |||||||||||||||||||||||||||||||||||||
Мы встретились в банке в Люксембурге. Мы оба покупали серебро и золото (в Люксембурге металлы продаются без спекуляций). Я пригласил его в ближайшее кафе и сказал, что я пидарас. (Reply to this) (Thread) дискордианство, кстате малоклипсное! тут: https://ru.wikipedia.org/wiki/%D0%9 нашел в гуглах https://xaxam.livejournal.com/627038.ht в камментах, чем именно занимается классификатор Джейкоб Лурье.
но забыл сука в кабинке... (Reply to this) (Thread) не. не забів. читаю сейчас тред Хахама, про Джейкобая Луриева. по мне так все в бесконечности вырождается в свои примитивные формы. происходит "селекция МОД" как в лазере, а мы все живем в весьма тонком слое низкоразмерных (до 4-х / до 11-ти) категорий, где только и есть "райское разнообразие". (Reply to this) (Parent) вот это, особенно, доставило (некое "ТелоКаледина", но судя по стилю -- он и есть): rom: kaledin_corpse 2019-10-23 10:45 pm (Link) >независимость от модели иногда достигается только с помощью инфинити Это невозможно -- "инфинити" само по себе есть модель. Просто прочно запрятаная под ковер, а Хопкинс велел не волноваться, мол все ок. Т.е. если кто-то готов писать доказательства в том смысле, в каком "доказательство" понимает Хопкинс, то ок. А если в обычном, то увы. (Ответить) (Parent) (Thread) [User Picture] From: svyatogorodski 2019-10-24 08:35 am (Link) Это немного в сторону. Я говорил про гомотопический объект, который лучше чем триангулированные категории, и с которым можно как-то делать вещи, которые нельзя делать на триангулированном уровне. Основания математики – теория множеств (пока), а не инфинити. Чтобы там Воеводский в виду не имел. Поэтому инфинити определяются через модель. Выбор квази-категорий неоднозначен (я слышал голоса в пользу полных Сегалевских пространств), но и сам Лурье использует другие модели, когда надо. Формально, полная эквивалентность пока не доделана (из того что я слышал совсем краем уха), но люди хотят определить независимо от моделей. Не знаю, возможно ли это, или надо менять теорию множеств на другие основания. В любом случае, вопрос о том, можно ли построить основания инфинити нормальным читаемым курсом, а не талмудом на тысячи страниц, конечно, важен. И, думаю, это будет сделано со временем. Но почти наверняка, это будет что-то эквивалентное, с тем же самым "мусором". (Ответить) (Parent) (Thread) (в смысле svyatogorodski -- интересно пишет тут и выше тоже. ну и Посицельский написал нужное) (Reply to this) (Parent)
ХВАТИТ ТРАВИТЬ КАЛОЕДИНА!!! Остановим анонимный беспердел.
каждый раз когда вуэйнир читает 10 страниц лорана шварца.. где-то остается невымытой кабинка в том то и дело что пока новых страничек не читав. (повторял пройденный материал только. Я его уже неплохо знаю на память, как раньше 12-стульев, например или Золотого Теленка ) а вы смотрели трилогию из фильмов куб-куб2-куб3/0гиперкуб ? от квартирных уборок и ремонтов можно рияльно довбануться. (Reply to this) (Parent) | |||||||||||||||||||||||||||||||||||||
busy![[info]](http://lj.rossia.org/img/userinfo.gif){kind=small}