From: Martin Escardo <m.escardo@cs.bham.ac.uk>
To: CATEGORIES LIST <categories@mta.ca>
Subject: Re: Cauchy completeness of Cauchy reals
Date: Fri, 24 Jan 2003 08:51:27 +0000 [thread overview]
Message-ID: <15920.65167.864071.575967@acws-0054.cs.bham.ac.uk> (raw)
In-Reply-To: <E18bl2K-00044A-00@mailserv.mta.ca>
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
next prev parent reply other threads:[~2003-01-24 8:51 UTC|newest]
Thread overview: 27+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-01-15 14:00 Generalization of Browder's F.P. Theorem? Peter McBurney
2003-01-16 14:04 ` Steven J Vickers
2003-01-16 23:00 ` Prof. Peter Johnstone
2003-01-16 23:05 ` Michael Barr
2003-01-21 18:11 ` Andrej Bauer
2003-01-22 10:13 ` Cauchy completeness of Cauchy reals Martin Escardo
2003-01-22 23:33 ` Dusko Pavlovic
2003-01-23 19:56 ` Category Theory in Biology Peter McBurney
2003-01-24 8:51 ` Martin Escardo [this message]
2003-01-25 2:21 ` Cauchy completeness of Cauchy reals Dusko Pavlovic
2003-01-25 16:24 ` Prof. Peter Johnstone
2003-01-27 3:57 ` Alex Simpson
2003-01-23 6:29 ` Vaughan Pratt
2003-02-04 0:47 ` Vaughan Pratt
2003-02-05 16:06 ` Prof. Peter Johnstone
2003-01-23 9:50 ` Mamuka Jibladze
2003-01-24 1:34 ` Ross Street
2003-01-24 16:56 ` Dusko Pavlovic
2003-01-24 19:48 ` Dusko Pavlovic
2003-01-27 17:41 Andrej Bauer
2003-01-28 1:50 ` Alex Simpson
2003-01-28 9:44 Andrej Bauer
2003-01-28 20:51 Dusko Pavlovic
2003-01-29 2:00 ` Toby Bartels
2003-01-29 8:35 ` Alex Simpson
2003-02-04 9:15 ` Dusko Pavlovic
2003-02-05 20:56 ` Toby Bartels
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=15920.65167.864071.575967@acws-0054.cs.bham.ac.uk \
--to=m.escardo@cs.bham.ac.uk \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).