с этими темами такое редко увидишь

зачем?)

затем, что для полиноминальных типов ничего кроме типового Fix как элиминатор не надо

ну и алгберы коалгебры

все)

остальное все от лукавого

хгроммх

обьясни дуализм моноида

схемы моноида и комоноида действительно одинаковые

а почему тайпклассы разные тогда

Зигоморф, тебе точно нельзя быть преподом

??

чтобы лучше все это понимать смотрите на струнные диаграммы

Это которые из теории струн?)

ну это те который у Ричарда Феймана были

ну да, такое нашел

ооо втфф

когда поймешь, что это такое, напиши плиз

снизу вверх

они читаются

и что значат кривые и точки?

полагаю, линии - это те самые струны)

ну да

это пути

а точки тут операторы

кого пути

на первой картинке коммутативный закон

о

на второй картинке (3 вместе) левая и правая тождественность

а схера ли у моноида коммутативный закон

а схера ли у моноида коммутативный закон

с того что бинарный оператор это требует

че? Строки теперь не моноид?

моноид требует лишь ассоциативность

что обозначают буквы T и C?

моноид требует лишь ассоциативность

ну да) это она

я попутал мат понятия)

но по рисунку видится мне именно коммутативность

ааааааааааааааааа

К рисункам текст был

Я помню видел в жж

та не, ассоциативность там

ааааааааааааааааа

б

(a * b) * c = a * (b * c)

коммутативность если a * b = b * a

ну да, я знаю, что такое коммутативность, я же тебе на эту ошибку и указал, лол

но на схеме мы видим именно то, что левый идет на право, а правый на лево

ну да, я знаю, что такое коммутативность, я же тебе на эту ошибку и указал, лол

не ошибку, а оговорку)

там ассоциативность

на первом

и иденственная идея - там не аргументы, а порядок выполнения

левая и правая тождественнсть это если а = б то б = а?

ну это как потоки стекаются снизу вверх

левая и правая тождественнсть это если а = б то б = а?

нет, а * e = e * a = a

ex = x = xe

а это же про моноид

там еще по центру x, два равенства

ex = x = xe

ex = x = sxe

так понял

и как мы с такими штуками получаем дуальный мем

струнные диаграммы мощный инструмент

переворачиваем снизу вверх?

вечно люди придумывают себе проблемы, а потом называют решение своей проблемы мощным инструментом

ага

задача моноида собирать

а у этого разбирать

и как мы с такими штуками получаем дуальный мем

дык что такое эти точки?

ex = x = sxe

и че за s?

вечно люди придумывают себе проблемы, а потом называют решение своей проблемы мощным инструментом

ага, проблемы) Фейман сказал бы))) Это тот человек что умел квантовые процессы объяснять простым языком

и че за s?

страйтейдж))

ага, ясно

что это еще может быть как не стрейдж

страйтелд

страйтедж

newtype Fix f = Fix (f (Fix f)) unfix :: Fix f -> f (Fix f) unfix (Fix f) = f cata alg = alg . fmap (cata alg) . unfix cataM alg = (>>= alg) . cata (traverse (>>= alg)) data FreeF f a r = ReturnF a | BindF (f r) deriving (Functor, Foldable, Traversable) type Free f a = Fix(FreeF f a) pattern Return :: a -> Free f a pattern Return a = Fix (ReturnF a) pattern Bind :: f (Free f a) -> Free f a pattern Bind a = Fix (BindF a) liftF c = Bind (fmap Return c) будь оно не ладно)

всегда, когда вижу букву s, понимаю, что это страйтедж

retract :: (Monad f, Traversable f) => Free f b -> f b retract = cataM alg where alg (ReturnF a) = return a alg (BindF as) = as

пойду дальше читать

ааааа

видимо я пока что недостоен комоноидов

я понял, sxe - это такая шутка

а вот инстансы сделать низя для type return' = Return map' :: Functor f => (a -> b) -> Free f a -> Free f b map' f = go where go (Return a) = Return (f a) go (Bind a) = Bind (fmap go a) bind' :: Functor f => (a -> Free f b) -> Free f a -> Free f b bind' f = go where go (Return a) = f a go (Bind a) = Bind(fmap (bind' f) a) ap' fs xs = bind' (\f -> map' f xs) fs и приходится так)

а я думал, еще один термин в теоркате

Я сначала посмеялся а потом подумал что это термин

ахххаха

Зигомемоморфный кидай большие куски кода в gist.github.com

плс

я понял, sxe - это такая шутка

я не понял

https://ru.wikipedia.org/wiki/Straight_edge

пошел я короче спать, слишком сложные мемасы тут у зигоморфа

вот тут есть феймановские диаграммы http://www.stephendiehl.com/posts/monads.html

или это неправильное представление?

Граф категории определяется его морфизмами. В данном представлении, что ты кинул морфизмы той категории ничем не отличаются от обычного id. Моноид же характеризуется юнитом и ассоциативной бинарной операцией, что здесь как-минимум не показано.

Напомнило нотацию Баеза для описания алгебры многомерных измерений, лол

это откуда вообще?