алгебры для одной специфической монады

[juan_gandhi]

Вот возьмём-ка монадку X2, из моего поста.

"Какая ж тут у нас монада? Монада берёт множество X и сопоставляет ему X×X. Монадная единица - диагональ (η(x) = (x,x)), а монадное умножение, X×X×X×X → X×X строится, согласно картинкам из начала этой части, из ε: (Y1×Y2, Y1×Y2) →(Y1,Y2) - проектированием по первой и последней координатам. μ(x1,x2,x3,x4) = (x1,x4)."

Так вот, а какие ж бывают алгебры над такой монадой? Нам надо, чтобы был f: A×A → A, соблюдающий условия:

f(a,a) == a

f(f(a1,a2),f(a3,a4)) == f(a1,a4)

Мне вот что-то сдаётся, что в условиях булевости и точечности (ну, скажем, в множествах) только проекция удовлетворяет такому условию. p1(a1,a2) = a1; p2(a1,a2) = a2.

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

Comments

[kcmamu.livejournal.com]

На конечных множествах с составным числом элементов годятся не только проекции. В частности, для множеств из 4 элементов -- 8 функций.

[migmit.livejournal.com]

О. Это практически моя олимпиадная задачка.

Вспоминаем теорему из нулевой главы Джонстона: пусть есть пара сопряжённых функторов F:C->A, U:A->C, F-|U, и H — монада, индуцированная этим сопряжением. Предположим, что в A имеются коуравнители рефлексивных пар, U сохраняет их и отражает изоморфизмы. Тогда U — монадический функтор, т.е., категория A эквивалентна категории алгебр над H в C, а U при этой эквивалентности переходит в стирающий функтор.

Ну вот, отсюда и получается, что любое непустое множество с такой бинарной операцией изоморфно произведению множеств XxY, на котором операция задана как f((x1,y1),(x2,y2)) = (x1,y2).