3 ms·
Did you read the original link? We don't want to use topological spaces, we want to use locales! We can get rid of the paradox while sacrificing very little.
by Ericson2314 5y ago
Did you read the original link? We don't want to use topological spaces, we want to use locales! We can get rid of the paradox while sacrificing very little.