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.
stub at locally compact locale
Added to locally compact locale a class of examples of locally compact locales which may constructively fail to be spatial, namely spectra of rings.
In the process I noticed that our entry on the spectrum of a commutative ring needs some love. For instance, it is missing a constructively sensible construction (as a locale or directly as a topos, as referenced in this recent math.SE question), the formulation of its universal property, and a discussion of its relation to Hakim’s very general spectrum construction and to the relative spectrum construction commonly used in algebraic geometry. When time allows, I’ll have a go at these additions.
1 to 2 of 2