danflapjax
danflapjax
I originally planned to open an issue, but since I had the work done, I decided to just open a PR instead. I figured it would be somewhat controversial, but...
@prabau Sorry, I had somehow missed that you had committed that change. It looks good to me, and I'm good with merging now.
Great suggestion; I've been meaning to add this for a while since it would give an example of a nontrivial [homogeneous space with the fixed point property](https://topology.pi-base.org/spaces?q=Homogeneous+%2B+Fixed+point+property). (The real projective...
Resolved by #862
It's not a bad idea, but those topologies could also all be fully characterized by a small set of broader properties. If there are theorems that apply to those special...
It should be the case that a path-connected [LOTS](https://topology.pi-base.org/properties/P000133) is contractible iff it is separable (or [equivalently](https://topology.pi-base.org/spaces?q=LOTS%2BPath+connected%2BSeparable%2B%7EEmbeddable+in+%24%5Cmathbb+R%24) embeddable in $\mathbb R$). This can be seen from a [categorization of the...
> T532 and T533 can be replaced by the single theorem [Stone ==> totally separated]. While working on the PR, I had previously used Stone space ⇒ [Zero dimensional](https://topology.pi-base.org/properties/P000050), but...
I did say as much in my comment above, yes.
After finding a copy of the aforementioned book Spectral Spaces and getting a better idea of how Stone duality works, I did my best to write something brief, comprehensible, and...
I feel satisfied with the pull request as it stands, but if there are any changes you would like to make, feel free to add them.