![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Oct. 3rd, 2015
Ok, I rest my case
Oct. 3rd, 2015 09:00 pmFree monad FT for a functor T is defined as FT[X] = X + FT[T[FT[X]]], евпочя.
Or is it FT[X] = X + T[FT[X]]?
Now how exactly do we provide a monad multiplication, I'm totally lost. Can't figure out. Ideas?
An update, of 2020. The latter. And we count on an assumption that T preserves filtered colimits.
Or is it FT[X] = X + T[FT[X]]?
Now how exactly do we provide a monad multiplication, I'm totally lost. Can't figure out. Ideas?
An update, of 2020. The latter. And we count on an assumption that T preserves filtered colimits.