Talk:F-coalgebra

From Wikipedia, the free encyclopedia

Surely that example is wrong. If F(X) = X+1 then the final coalgebra is the natural numbers, not a stream of X's. A stream of X's, with a possible "end of file", would come from F(A) = XxA + 1. Sigfpe 01:42, 14 March 2006 (UTC)

Indeed. I have corrected it. Tillmo 10:15, 2 April 2006 (UTC)