IY
нет, произведение это join
Size: a a a
2018 July 21
IY
natural transformation из m . m в m, на хаскеле forall a. (Compose m m) a -> m a
NS
ага, ясно
к
@thktomska монада не моноид в классическом понимании, а моноидальный объект в моноидальной категории эндофункторов с композицией в качестве тензорного произведения
Тут спорно, что считать классическим моноидом
к
Если понимать тройку из множества, единицы и операции, то это самое что ни на есть классический моноид
NI
да уж, фейковая цитата про just a monoid in a category of endofunctors только запутывает
Есть понятие — моноид в моноидальной категории.
Категория эндофункторов — (строгая) моноидальная.
Категория эндофункторов — (строгая) моноидальная.
NI
На самом деле, монада, это такой lax-функтор из точечной категории.
Стикер надо обновить ;-)
Стикер надо обновить ;-)
IY
Если понимать тройку из множества, единицы и операции, то это самое что ни на есть классический моноид
ну и какая тройка у монады Maybe?
NI
Ну и монады определяются вообще в бикатегории.
IY
Есть понятие — моноид в моноидальной категории.
Категория эндофункторов — (строгая) моноидальная.
Категория эндофункторов — (строгая) моноидальная.
я не специалист по категориям ни разу, но мне казалось более строго говорить про моноидальный объект. Ну и категория эндофункторов не единственным способом моноидальная, это тоже в знаменитой "цитате" опущено
NI
я не специалист по категориям ни разу, но мне казалось более строго говорить про моноидальный объект. Ну и категория эндофункторов не единственным способом моноидальная, это тоже в знаменитой "цитате" опущено
Дело в том, что если уж говорится про моноид в категории, отличной от декартовой, то сразу уж понятно же, о каком определении речь. Иначе же и никак.
NI
Ну то есть, так тоже говорят.
И обычно, это понимают ;-)
И обычно, это понимают ;-)
NI
Если понимать тройку из множества, единицы и операции, то это самое что ни на есть классический моноид
Это что-то похожее на классический моноид.
И в категориях с декартовым произведением, это оно и есть.
Но в той же категории функторов, нуууу
И в категориях с декартовым произведением, это оно и есть.
Но в той же категории функторов, нуууу
NI
Тут спорно, что считать классическим моноидом
Классическим моноидом считать моноид в категории с декартовым произведением.
IY
Ну то есть, так тоже говорят.
И обычно, это понимают ;-)
И обычно, это понимают ;-)
Да, это-то понятно, что говорят и понимают. Просто часто люди слышат "цитату" ничего не зная о существовании моноидальных категорий и мучительно пытаются натянуть монаду на хаскельный класс Monoid 😉
NI
Да, это-то понятно, что говорят и понимают. Просто часто люди слышат "цитату" ничего не зная о существовании моноидальных категорий и мучительно пытаются натянуть монаду на хаскельный класс Monoid 😉
С этим надо что-то делать! ;-)
А⚙
Да, это-то понятно, что говорят и понимают. Просто часто люди слышат "цитату" ничего не зная о существовании моноидальных категорий и мучительно пытаются натянуть монаду на хаскельный класс Monoid 😉
Хаскелл портит людей
NI
Хаскелл портит людей
Да ладно! ;-)
KV
Человек портит хаскель или хаскель человека?
А⚙
Человек портит хаскель или хаскель человека?
Хаскелл человека