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.
am adding references to Alexandrov space
I changed to Alexandrov topology, the spelling which is used in wikipedia here (see also person entry). -ff ending is in the original paper because it was published in German.
Added also more references and links to MathOverflow discussions on Alexandrov spaces at specialization topology.
Okay, thanks.
I have expanded the Properties-section at specialization topology a bit more, mainly trying to organize the available statements a bit more systematically, but also expanding slightly.
Am not happy with this entry yet, but that’s as far as I can get right now with the time available.
I have added at Alexandrov space to the section “Alexcandrov locales” the statement of the theorem that under forming upward-sets, $Poset$ is equivalent to that subcategory of $Locale$ on formal duals to upper-set frames whose morphisms are such that the inverse image has a left adjoint.
1 to 6 of 6