яндекс знает, кому что показывать
(в гугле я тоже не сомневаюсь)
2016-11-01
(в гугле я тоже не сомневаюсь)
Entry tags:
so, free monads
As I understand for a functor F to be able to produce a free monad, it has to preserve colimits, right? That includes unions.
So the functor X2, not preserving sums, cannot produce a free monad... right? I think so, at least.
On the other hand, a fixpoint of 1+X2 is a binary tree. So? :)
Something's wrong here.
So the functor X2, not preserving sums, cannot produce a free monad... right? I think so, at least.
On the other hand, a fixpoint of 1+X2 is a binary tree. So? :)
Something's wrong here.
what I noticed
There are two kinds of students. Those who have a husband at home, and those who don't.
Tonight my best student spent 3 hours writing her midterm, and half of her answers are just nonsense.
Tonight my best student spent 3 hours writing her midterm, and half of her answers are just nonsense.