My friend Tor reports, “Complete Heyting algebras are a central object of study in pointless topology“.
P.O. Box 98199
Washington, DC 20090-8199
800-647-5463
Lat/Lon: 38.90531943278526, -77.0376992225647
My friend Tor reports, “Complete Heyting algebras are a central object of study in pointless topology“.
Why study pointless topologies? If they are pointless, what’s the point?