Mar. 27th, 2013

juan_gandhi: (VP)
Мы заканчивали статью про монаду коплотности, и разглядывали свободные монады. Втроём - я, Дэн и Шачаф.
Шачаф подбрасывал идеек.

В результате поняли, что если список - это свободная алгебра в моноидах, то Bag - это свободная алгебра в коммутативных моноидах; finite set - это свободная алгебра в коммутативных идемпотентных моноидах.
Как быть с абелевыми группами не очень понятно, но всё равно прикольно.

Следующий раз мы собираемся в СФ 24-го апреля, организационное собрание; если есть желающие присоединиться и подолбить - самое время. Женя, ты, вроде хотел (как мне доносили)?

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

June 2025

S M T W T F S
1 2345 6 7
8 9 10 11 121314
15161718192021
22232425262728
2930     

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 14th, 2025 12:30 pm
Powered by Dreamwidth Studios