Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
At overt space there was a remark that since the definition quantifies over “spaces”, the overtness of a single space might depend on the general meaning chosen for “space”, but that no example was known to the author. I added an example involving synthetic topology, which may not be quite what the author of that remark was thinking of, but which I think is interesting.
Added to overt space two examples: locales induced by topological spaces and spectra of commutative rings in which nilpotency is decidable. (I’ll add details of the spectrum example later.)
I added a link to topological locale.
1 to 4 of 4