17 May
2008
17 May
'08
5:32 a.m.
Creighton Hogg
Where could I find a proof that the initial algebras & final coalgebras of CPO coincide? I saw this referenced in the "Bananas.." paper as a fact, but am not sure where this comes from
Creighton, As promised and I hope this is what you were after. Dominic. http://idontgetoutmuch.wordpress.com/2008/05/12/isomorphic-types/