# Start a new discussion

## Not signed in

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

## Discussion Tag Cloud

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

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeNov 21st 2013
• (edited Nov 21st 2013)
• CommentRowNumber2.
• CommentAuthorDmitri Pavlov
• CommentTimeApr 29th 2019

More redirects

1. 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

• CommentRowNumber4.
• CommentAuthorUrs
• CommentTimeOct 7th 2021

Thanks.

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 …”?

• CommentRowNumber5.
• CommentAuthorUrs
• CommentTimeOct 7th 2021

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.

• CommentRowNumber6.
• CommentAuthorGuest
• CommentTimeOct 7th 2021
Essentially, I meant the argument given at the page on separation axioms in terms of lifting properties,

>“The right lifting property against these morphisms implies that …”

This is not enough: you need to _construct_ (find) some surjection onto $X$....

In more detail, this means : existance of weak factorisation system (f_e.d.)^l (f_e.d.)^lr generated by f_e.d.
implies that each map $\varnothing\to X$ decomposes as
 \varnothing \xrightarrow{( f_{e.d.)^l} S \xrightarrow{ (f_{e.d.})^{lr}} X$where$S$is extremally disconnected, and$S\to X$is surjective and proper. With this, the right lifting property$ \varnothing \xrightarrow{( f_{e.d.)^l} &solb; (proper) S implies/means
that extremally disconnected spaces are projective.

But I do not think we have the notation orterminology to give this argument here.
• CommentRowNumber7.
• CommentAuthorGuest
• CommentTimeOct 7th 2021
Re #5. It seems fine!

One might want to give clearer explanation instead of

>Both being surjective and being proper are right lifting properties. Hence, the existence of a weak factorization system generated by this morphism implies that each space admits a surjective proper map from an extremally disconnected space.

what is said in the previous comment won't fit in the page because it uses too much notation...