Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Moved material about elements of the final coalgebra of the endofunctor $X \mapsto 1 + A \times X$ from stream to cofree coalgebra
Thomas Wilson
This edit doesn’t really make sense.
The content you moved over is not about cofree algebras in general, but only for the specific functor $X \mapsto 1 + A \times X$.
Also, the article as it was originally was about coalgebras over a certain comonad, and not coalgebras over a certain endofunctor. Please look over an article first, before just grafting something on, to see whether the edit jibes conceptually with what is there. I’m going to roll back.
1 to 4 of 4