спешу поделиться
Jan. 28th, 2011 04:24 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
Вчера меня
nivanych ткнул носом в прекрасное - коалгебры.
Короче, взять хоть какой функтор F, коалгебрами называются стрелки вида X -> FX с понятными морфизмами, квадратами

(btw, used my presheaf:)
Ну коалгебры и коалгебры: если взять знакомую монаду
, строящую списки в качестве свободных алгебр, то для неё свободные (инициальные) алгебры представляют собой списки (над алфавитом А), а терминальные коалгебры... что там будут за терминальные коалгебры? Бесконечные потоки символов из алфавита А? Похоже на то.
Ну это была интродукция. А теперь рондо каприччиозо.
Возьмём категорию частично-упорядоченных множеств (посетов), и определим каузальный объект как такой посет, у которого есть начало и конец (0 и 1). Почему каузальный - начало есть "причина всему", а конец есть "вывод из всего".

Определим такой функтор - последовательное присоединение каузального объекта к самому себе, началом к концу, как, э... нет, не будем вдаваться в анальные аналогии. Последовательное соединение.
Так вот, континуум есть терминальная коалгебра соединения каузальных объектов.
Как это так? А вот, если возьмём отрезок вещественных чисел (в Москве можно взять отрезок действительных чисел), то он является каузальным объектом, и является коалгеброй над таким функтором: соединение двух отрезков подряд даёт каyзальный объект. Более того, т.к. это соединение изоморфно исходному отрезку, то он является неподвижной точкой.
Почему континуум? Да потому что любой отрезок делится бесконечно пополам на изоморфные отрезки. Почему это именно алеф1, мне как-то непонятно, но т.к. тут, похоже, имеет место нефундированная теория множеств, то и на алефы как-то расчитывать не приходится.
![[livejournal.com profile]](https://www.dreamwidth.org/img/external/lj-userinfo.gif)
Короче, взять хоть какой функтор F, коалгебрами называются стрелки вида X -> FX с понятными морфизмами, квадратами

(btw, used my presheaf:)
Ну коалгебры и коалгебры: если взять знакомую монаду

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

Определим такой функтор - последовательное присоединение каузального объекта к самому себе, началом к концу, как, э... нет, не будем вдаваться в анальные аналогии. Последовательное соединение.
Так вот, континуум есть терминальная коалгебра соединения каузальных объектов.
Как это так? А вот, если возьмём отрезок вещественных чисел (в Москве можно взять отрезок действительных чисел), то он является каузальным объектом, и является коалгеброй над таким функтором: соединение двух отрезков подряд даёт каyзальный объект. Более того, т.к. это соединение изоморфно исходному отрезку, то он является неподвижной точкой.
Почему континуум? Да потому что любой отрезок делится бесконечно пополам на изоморфные отрезки. Почему это именно алеф1, мне как-то непонятно, но т.к. тут, похоже, имеет место нефундированная теория множеств, то и на алефы как-то расчитывать не приходится.
no subject
Date: 2011-01-29 02:47 am (UTC)no subject
Date: 2011-01-29 04:27 am (UTC)no subject
Date: 2011-01-29 05:13 am (UTC)no subject
Date: 2011-01-29 08:18 am (UTC)no subject
Date: 2011-01-29 08:28 am (UTC)no subject
Date: 2011-01-29 09:59 am (UTC)lolwutчто под этим подразумевается, какая -екция?no subject
Date: 2011-01-29 04:20 pm (UTC)как честный человек должна сказать:
Date: 2011-01-29 08:42 am (UTC)Но я умею варить борщ и разбираюсь в стереоизомерах...
Это поддерживает меня в тяжелые минуты...
Re: как честный человек должна сказать:
Date: 2011-01-29 04:24 pm (UTC)Re: как честный человек должна сказать:
Date: 2011-02-02 07:55 am (UTC)no subject
Date: 2011-01-29 10:24 am (UTC)no subject
Date: 2011-01-29 11:57 am (UTC)no subject
Date: 2011-01-29 12:00 pm (UTC)no subject
Date: 2011-01-29 04:22 pm (UTC)Я просто никогда не понимал смысла нефундированных множеств, да ещё, зная, что если основная категория не фундированная, то на ней появляются странные логики... но тут проникся ценностью идеи.
no subject
Date: 2011-01-29 05:08 pm (UTC)no subject
Date: 2011-01-29 07:01 pm (UTC)Вселенная не стоит на месте.