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.
the entry profinite space and entries related to it were/are a bit in need of some care.
The entry used to start out saying “Profinite space is another word for Stone space”, which was misleading, because there is a not-entirely-trivial equivalence involved. So I changed it to
A profinite set is a pro-object in FinSet. By Stone duality these are equivalent to Stone spaces and thus are often called profinite spaces. So these are compact Hausdorff totally disconnected topological spaces.
Also cross-links with profinite reflection were missing, and so I added them. Also cross-linked with finite set, with localic reflection and maybe with more.
The entry profinite space is still stubby/unsatisfactory.
1 to 1 of 1