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

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

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

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

Сообщества

Настроить S2

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



Пишет D. Kaledin ([info]kaledin)
Ок, thnx.

У меня уже настолько голова не варит, что я выше перепутал Grothendieck Festschrift и том в честь Гельфанда (Functional Analysis on the Eve of 21 century или как-то так, и не 96 год, а 93). До того я читал Капранова-Воеводского про уравнения Замолодчикова (на тот момент казалось симпатично), и еще что-то про строгие полигрупоиды, мутное, с кучей сложных диаграм. В принципе, что в нем ошибку не нашли, неудивительно, потому что строгие полигрупоиды не годятся -- там все равно приходится что-то обращать; а раз так, то зачем и огород городить, чем плохи обычные симпл. множества. Т.е. оно было непонятно, о чем. Оснащенные категории нормально как раз определить вполне можно, через дериваторы, а вот группоиды по-видимому действительно нельзя. В любом случае, я еще не видел статьи по теории категорий, где бы были сложные диаграммы, но при этом реально все было доказано. Если вам недостаточно amscd, you're doing something wrong.


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

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

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



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