24 Jan
2003
24 Jan
'03
8:51 a.m.
Dusko Pavlovic writes:
NB. Freyd characterized the Dedekind reals as a final coalgebra. Alex Simpson and I characterized "the Cauchy completion of the rationals within the Dedekind reals" as a free algebra
and vaughan pratt and i characterized the cauchy reals as a final coalgebra. the papers are i proceedings of CMCS 99 and in TCS 280.
I forgot to mention this --- I apologize. In your paper, you work in Set. Do you think your construction works in any topos? If so, what would "Cauchy reals" mean precisely in this general context? Thanks. ME