а чё у нас сегодня было на БАКАТе
Мы заканчивали статью про монаду коплотности, и разглядывали свободные монады. Втроём - я, Дэн и Шачаф.
Шачаф подбрасывал идеек.
В результате поняли, что если список - это свободная алгебра в моноидах, то Bag - это свободная алгебра в коммутативных моноидах; finite set - это свободная алгебра в коммутативных идемпотентных моноидах.
Как быть с абелевыми группами не очень понятно, но всё равно прикольно.
Следующий раз мы собираемся в СФ 24-го апреля, организационное собрание; если есть желающие присоединиться и подолбить - самое время. Женя, ты, вроде хотел (как мне доносили)?
Шачаф подбрасывал идеек.
В результате поняли, что если список - это свободная алгебра в моноидах, то Bag - это свободная алгебра в коммутативных моноидах; finite set - это свободная алгебра в коммутативных идемпотентных моноидах.
Как быть с абелевыми группами не очень понятно, но всё равно прикольно.
Следующий раз мы собираемся в СФ 24-го апреля, организационное собрание; если есть желающие присоединиться и подолбить - самое время. Женя, ты, вроде хотел (как мне доносили)?