блин, пробило
Jul. 31st, 2013 09:36 pmВсё чесал репу, шо це за параша, свободная монада.
А тут на стаковерфлоу Кмет, конець копiя искормленъ, разъяснил на двух пальцах. Монада - это ж моноид в категории эндофункторов. Ну дык, есть забывалка из моноидов в эндофункторы, а свободная монада - это свободный моноид в категории эндофункторов, и все дела - т.е. список. Если он, конечно, существует.
На пальцах.
А тут на стаковерфлоу Кмет, конець копiя искормленъ, разъяснил на двух пальцах. Монада - это ж моноид в категории эндофункторов. Ну дык, есть забывалка из моноидов в эндофункторы, а свободная монада - это свободный моноид в категории эндофункторов, и все дела - т.е. список. Если он, конечно, существует.
На пальцах.