спешу поделиться

[juan_gandhi]

Вчера меня nivanych ткнул носом в прекрасное - коалгебры.

Короче, взять хоть какой функтор F, коалгебрами называются стрелки вида X -> FX с понятными морфизмами, квадратами



(btw, used my presheaf:)

Ну коалгебры и коалгебры: если взять знакомую монаду , строящую списки в качестве свободных алгебр, то для неё свободные (инициальные) алгебры представляют собой списки (над алфавитом А), а терминальные коалгебры... что там будут за терминальные коалгебры? Бесконечные потоки символов из алфавита А? Похоже на то.

Ну это была интродукция. А теперь рондо каприччиозо.

Возьмём категорию частично-упорядоченных множеств (посетов), и определим каузальный объект как такой посет, у которого есть начало и конец (0 и 1). Почему каузальный - начало есть "причина всему", а конец есть "вывод из всего".



Определим такой функтор - последовательное присоединение каузального объекта к самому себе, началом к концу, как, э... нет, не будем вдаваться в анальные аналогии. Последовательное соединение.

Так вот, континуум есть терминальная коалгебра соединения каузальных объектов.

Как это так? А вот, если возьмём отрезок вещественных чисел (в Москве можно взять отрезок действительных чисел), то он является каузальным объектом, и является коалгеброй над таким функтором: соединение двух отрезков подряд даёт каyзальный объект. Более того, т.к. это соединение изоморфно исходному отрезку, то он является неподвижной точкой.

Почему континуум? Да потому что любой отрезок делится бесконечно пополам на изоморфные отрезки. Почему это именно алеф1, мне как-то непонятно, но т.к. тут, похоже, имеет место нефундированная теория множеств, то и на алефы как-то расчитывать не приходится.

Comments

[yatur.livejournal.com]

Ужасы какие. Бывают ведь неосторожные люди. Поднимут с пола казуальный объект, а он знаковыми монадами кишит. Начинают впадать в континуум, функторами бредить, неподвижную точку искать. Отведешь их к доктору, а он - плохие новости. У вас вас типичная терминальная коалгебра. Квадрат вам скоро. На алефы уже рассчитывать не приходится. Могу только прописать морфизм. И все. Sic transit gloria mundi.

[http://users.livejournal.com/_navi_/]

это же человеческая многоножка! (http://www.youtube.com/watch?v=0piFZXT8Zxo)

[buddha239.livejournal.com]

Отрезок рациональных чисел тоже пополам хорошо делится, а какому именно алефу равен континуум - это еще бабушка надвое сказала.:)

как честный человек должна сказать:

[byakych.livejournal.com]

Не поняла ничего :(

Но я умею варить борщ и разбираюсь в стереоизомерах...
Это поддерживает меня в тяжелые минуты...

[b00ter.livejournal.com]

Вроде слова все знакомые, а нифига не понятно. Уйду в железянщики, там попроще как-то.