![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
talking about free monads
Oct. 29th, 2016 11:33 pmNo, seriously, can anybody kind of explain to me when they exist?
Have a category C, and endofunctor F, M(F) = fixpoint of (Id + F∘M), right?
Ok, let C be complete, cocomplete, so what? Where's the free monad? Meaning, how come it's a monad at all?
Am I missing something? I don't want a "for example", it's not a proof.
Have a category C, and endofunctor F, M(F) = fixpoint of (Id + F∘M), right?
Ok, let C be complete, cocomplete, so what? Where's the free monad? Meaning, how come it's a monad at all?
Am I missing something? I don't want a "for example", it's not a proof.
