Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.

Stream: learning: questions

Topic: Universal property of the locale of real numbers

view this post on Zulip Madeleine Birchfield (Feb 06 2024 at 08:55):

Is the locale of real numbers characterized by a universal property in the category of locales?

view this post on Zulip Mike Shulman (Feb 06 2024 at 15:37):

Well, the frame of real numbers has a presentation, so that gives it a universal property in the category of frames, and you can then turn that around.