```categories - Category Theory list
help / color / mirror / Atom feed```
```From: Patrik Eklund <peklund@cs.umu.se>
To: Pedro Resende <pedro.m.a.resende@tecnico.ulisboa.pt>
Cc: Steven Vickers <s.j.vickers.1@bham.ac.uk>,
categories list <categories@mta.ca>
Subject: categories: Re: Terminology for point-free topology?
Date: Sat, 28 Jan 2023 07:43:56 +0200	[thread overview]
Message-ID: <E1pMEOJ-0001HM-4X@rr.mta.ca> (raw)

Quantales are interesting examples also from the viewpoint how they may
be used for many-valued truth in logic. There are certain mechanisms
where "points can be recovered", but in my view this is not a sufficient
justification for working only algebrally in logic, or algebraically in
topology for that matter.

Propositional two-valued logic is a bit similar. The boolean values are
not pointfree but "term-free", if the analogy is allowed. We can do
something with propositional logic, but representation  of "condition"
or "state" requires "insideness, in the sense of inside points". Points
as such representing states to me makes no sense in practice. We can
surely create fancy examples, but we cannot define things like "asthma"
or logically differentiate between Alzheimer's and vascular dementia
using pointfree topology.

Pointfree or not, term-free or not, I think it is important to justify
freeness whenever the calculation machinery allows it, but at the same
time refrain from being overenthusiastic about pointfreeness in the
sense of "I can work totally without points". Such things I would call
not just pointfree but indeed pointless, in particular as such
pointlessness kind of intentionally shuts out any possibility for
real-world application.

Some parts of theoretical mathematics is about seductive tricks, and
some mathematicians fall for it. Potential practicality of even "deepest
theoretical theory" keeps feet on the ground, even if practicality is
not realizable or desirable. But my view is that we must keep
"real-world applicability" at least as a "general burden" in the sense
that all science must useful, in one way or another. Science should
never be just "aus liebe zur Kunst".

Patrik

On 2023-01-27 19:55, Pedro Resende wrote:
> Hi Steve,
>
> Sorry for the radio silence, it???s been a hectic week.
>
> Concerning your question about a less derogatory expression??? I think I
> like `algebraic reasoning??? versus `point-based reasoning??? (which to me
> sounds better than `pointwise', I don???t know why).
>
> This is analogous to commutative algebra versus algebraic geometry.
>
> In any case, am I right that it seems to be somewhat consensual (in
> this thread) that `pointfree topology??? is the appropriate terminology
> for the kind of topology that *can* (but not necessarily has to) be
> studied without reasoning in terms of points?
>
> Incidentally, in my mind the `pointfree' terminology should also apply
> to more general notions, such as quantales, or at least some classes
> of them. For instance, inverse quantal frames are `the same' as
> localic etale groupoids, and they have associated etendues.
>
> Best wishes,
>
> Pedro
>
>> On Jan 23, 2023, at 1:47 PM, Steven Vickers <s.j.vickers.1@bham.ac.uk>
>> wrote:
>>
>> Dear Pedro,
>>
>> Of course, that's the very reason why I wanted to transfer it to the
>> style of working without points.
>>
>> That's slightly unfair, in that in many cases of reasoning
>> algebraically, without points, it's not at all clear how to do it
>> pointwise.
>>
>> You and I have certainly experienced that in our work on quantales,
>> which are much more purely algebraic gadgets. Our approach via localic
>> suplattices (algebras for the lower hyperspace monad) gives a more
>> point-free approach to the subject, but it takes effort - I think
>> you'll agree - to work with the hyperspaces in a pointwise manner.
>>
>> Do you think there's a less derogatory term for the style of reasoning
>> without points?
>>
>> All the best,
>>

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

```next prev parent reply	other threads:[~2023-01-29 20:36 UTC|newest]

Thread overview: 19+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-01-16 11:50 Steven Vickers
2023-01-18 12:12   ` Steven Vickers
2023-01-20  3:06     ` David Yetter
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
2023-01-23 13:47       ` Steven Vickers
2023-01-24 12:20       ` categories: " Robert Pare
2023-01-27 17:55     ` Pedro Resende
2023-01-28  5:43       ` Patrik Eklund [this message]
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
2023-01-22 21:32   ` Terminology for point-free topology? Vaughan Pratt
2023-01-23 13:25   ` Steven Vickers
2023-01-23 23:17   ` categories: " Vaughan Pratt
2023-01-24 11:45   ` Steven Vickers
```

```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,

Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

switches of git-send-email(1):

git send-email \
--to=peklund@cs.umu.se \
--cc=categories@mta.ca \
--cc=pedro.m.a.resende@tecnico.ulisboa.pt \
--cc=s.j.vickers.1@bham.ac.uk \
```This is a public inbox, see mirroring instructions