Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeNov 20th 2013
    • (edited Nov 20th 2013)

    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.