Martin Escardo

@EscardoMartin

@JDHamkins However, in point-free topology we start with facts (the opens). Then we define a point to be a completely prime filters (a multitude of facts that uniquely specifies a thing by decree). Even better the points don't matter. And there are non-trivial spaces with no points at all!

13/10/2022, 21:07:58

Favs: 8

Retweets: 0