изменения в дискурсе

Жж уже хрен знает сколько лет; в фидо меньше времени провёл, чем в жж. Но в фидо динамики не было; там, небось, в сугенерале до сих пор спорят про чубайса и про перестройку. А жж меняется всё время.

Ну вот например, эмоции, как и вообще на интернетах, совершенно обесценились. Все уже насмотрелись переживаний; ни ментовский беспредел, ни больничные страдания, ни неправый суд никого уже не удивит; все просто отвернутся. Неинтересно. И репортажи с экзотических краёв стали как бы нормой буден. Будней. Как будто все обо всём договорились; плюс, новости подешевели, а внимание подорожало. Человеческое общение уже не роскошь, а естественное явление. Современную публику хрен поднимешь скандировать что-нибудь вроде "Путина в отставку", "Обаму на импичмент", "долой плохих людей".

И непонятно. Как-то не видно совсем перспективы. И времени нет.

Клейсли и Эйленберг-Мур

Сначала Грег Мередит написал, потом, вчера на семинаре, у Уустало прочитали, что в категории сопряженных пар над заданной категорией категория Клейсли является инициальным объектом, а категория алгебр над монадой - терминальным. Грег когда написал, я неделю думал, что это за категория такая, сопряженных пар. Вчера на семинаре потыкали в интернет, теперь как бы знаю; доказать, наверное, несложно будет (но не пробовал).

Но этот смешной факт - какое-то как будто бы секретное знание. Где-то в тёмных углах Маклейна, да у сердитых математиков на интернетах.

Или есть разборчивая литература? Потому что я сам уже собрался писать какой-то типа блог-пост. Ну или с Валерией обсудить вопрос... у нас тут есть настоящая категорщица, Валерия де Пайва.

Главное, мне это не кажется особо серьёзной наукой, какие-то азы и полуочевидные вещи, разобраться в которых мешает лень и невежество.

Клейсли и Эйленберг-Мур

Сначала Грег Мередит написал, потом, вчера на семинаре, у Уустало прочитали, что в категории сопряженных пар над заданной категорией категория Клейсли является инициальным объектом, а категория алгебр над монадой - терминальным. Грег когда написал, я неделю думал, что это за категория такая, сопряженных пар. Вчера на семинаре потыкали в интернет, теперь как бы знаю; доказать, наверное, несложно будет (но не пробовал).

Но этот смешной факт - какое-то как будто бы секретное знание. Где-то в тёмных углах Маклейна, да у сердитых математиков на интернетах.

Или есть разборчивая литература? Потому что я сам уже собрался писать какой-то типа блог-пост. Ну или с Валерией обсудить вопрос... у нас тут есть настоящая категорщица, Валерия де Пайва.

Главное, мне это не кажется особо серьёзной наукой, какие-то азы и полуочевидные вещи, разобраться в которых мешает лень и невежество.

джава-программист увидел монаду

(10x crimcat)