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.
brief entry extremally disconnected topological space
I added a reformulation of being extremally disconnected as a left lifting property with respect to a proper surjective morphism of finite topological spaces, and some remarks about interpretation the Gleason theorem in terms of weak factorisation systems generated by proper morphisms of finite topological spaces.
Anonymous
Thanks.
I have fixed your link (here).
Also I tried to touch the wording, for clarity.
But do you mean to say that
the existence of a weak factorization system generated by this morphism implies that each space admits a
?
I have trouble making sense of this. Don’t you just mean:
“The right lifting property against these morphisms implies that …”?
I have edited more:
Merged the bit from the beginning of the entry where you introduced the lifting property with the bit you had later on deducing the Gleason theorem via lifting. Now both are in one subsection “Properties – As a lifting property” (here).
Also adjusted the wording yet a bit more. Please do check if you can live with it. I am just trying to make it read more transparently (there is still room left to improve on that, I think). But if I broke something that you think shouldn’t be broken, please bear with me and fix it.
1 to 7 of 7