categories - Category Theory list
 help / color / mirror / Atom feed
* Terminology for point-free topology?
@ 2023-01-16 11:50 Steven Vickers
       [not found] ` <a23cbfc0-7433-eec1-115e-af2041d4cfd1@uu.nl>
                   ` (4 more replies)
  0 siblings, 5 replies; 19+ messages in thread
From: Steven Vickers @ 2023-01-16 11:50 UTC (permalink / raw)
  To: categories

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!

Steve Vickers.



[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


^ permalink raw reply	[flat|nested] 19+ messages in thread

end of thread, other threads:[~2023-02-01 20:41 UTC | newest]

Thread overview: 19+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-01-16 11:50 Terminology for point-free topology? Steven Vickers
     [not found] ` <a23cbfc0-7433-eec1-115e-af2041d4cfd1@uu.nl>
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

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).