2015-10-03
Entry tags:
Ok, I rest my case
Free 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.