From: Steven Vickers <firstname.lastname@example.org>
To: "email@example.com" <firstname.lastname@example.org>
Subject: Terminology for point-free topology?
Date: Mon, 16 Jan 2023 11:50:34 +0000 [thread overview]
Message-ID: <E1pHWbW-0003un-VX@rr.mta.ca> (raw)
I'm wondering if there's any consensus usage to found for "point-free" topology and related terms.
I've posted a detailed discussion on https://arxiv.org/abs/2206.01113, but I can summarize the question more succinctly.
It's not unusual to distinguish between two synonymous pairs:
point-set/pointwise = ordinary semantics of general topology,
point-free/pointless = reformed semantics of, e.g., locales or formal topology.
However, that is misleading, as locale theory can be validly done using points. See, e.g., Ng-Vickers on real exp and log, https://lmcs.episciences.org/9879. The trick is to restrict to geometric constructions and to apply them to *generalized* points, to be found in arbitrary Grothendieck toposes and not just Set (or your chosen base S).
Thus there are two distinctions to be made -
1 Ordinary semantics v. reformed
2 Use points v. avoid them
Some terms naturally fall into place.
Point-set = ordinary topology, points taken from a given set.
Pointwise = use points. Point-set is a subclass of pointwise, but strict, as shown by the above example.
What about pointless and point-free? I'm piloting -
Pointless = avoid points (e.g. construct locale maps concretely as frame homomorphisms). There's some value judgement in my choice there, as very often the pointwise reasoning is simpler and more transparent, so there seems to be no good reason for arguing pointlessly.
Point-free = reformed topology. I try to think of this as meaning that the points are liberated from their confinement to Set or S.
Does anyone have comments on these, or suggestions for other phrases for the concepts?
Happy New Year!
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
next reply other threads:[~2023-01-16 11:50 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-01-16 11:50 Steven Vickers [this message]
[not found] ` <email@example.com>
2023-01-18 12:12 ` Steven Vickers
2023-01-20 3:06 ` David Yetter
[not found] ` <SN6PR05MB5213EBE225CB83D101EA0F57A2C59@SN6PR05MB5213.namprd05.prod.outlook.com>
2023-01-20 11:50 ` Steven Vickers
2023-01-21 19:42 ` ptj
2023-01-23 11:44 ` Pedro Resende
2023-01-30 21:59 ` categories: " Wesley Phoa
2023-02-01 9:41 ` Martin Hyland
[not found] ` <18E1AA5F-0054-4CA3-B231-BD9B799B03A2@tecnico.ulisboa.pt>
2023-01-23 13:47 ` Steven Vickers
[not found] ` <YQXPR01MB26464DF33EAE7481847A4F82E5C99@YQXPR01MB2646.CANPRD01.PROD.OUTLOOK.COM>
2023-01-24 12:20 ` categories: " Robert Pare
2023-01-27 17:55 ` Pedro Resende
2023-01-28 5:43 ` Patrik Eklund
2023-01-29 23:16 ` dawson
2023-01-28 10:48 ` categories: complete Galois groups Clemens Berger
2023-01-30 17:34 ` categories: " Eduardo J. Dubuc
[not found] ` <LNXP265MB1049E00AEC9CE5BE1233CCEF95C69@LNXP265MB1049.GBRP265.PROD.OUTLOOK.COM>
2023-01-22 21:32 ` Terminology for point-free topology? Vaughan Pratt
[not found] ` <CAL7kZqCz081nyFQuo_QFfaGzGe+UBORJHOZWsO9VgNzpDJ9_Gw@mail.gmail.com>
2023-01-23 13:25 ` Steven Vickers
[not found] ` <LNXP265MB104912A7940157738582CE2595C89@LNXP265MB1049.GBRP265.PROD.OUTLOOK.COM>
2023-01-23 23:17 ` categories: " Vaughan Pratt
[not found] ` <CAL7kZqAPzmzf=wt=qKNBjjeb_dGtG4eDu7tv5Eku-AVZD7wWtw@mail.gmail.com>
2023-01-24 11:45 ` Steven Vickers
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:
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
* 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