Tag Archives: filters

Hoover’s maximal limit spaces II: products, liftings, retracts, function spaces, and hyperspaces

Last time, we had introduced Hoover’s maximal limit spaces: spaces in which every convergent filter has a unique largest limit. That notion is closed under many constructions, as we will see: products, liftings, retracts, notably, and that is elementary. The … Continue reading

Posted in Uncategorized | Tagged , , , , , , , | Comments Off on Hoover’s maximal limit spaces II: products, liftings, retracts, function spaces, and hyperspaces

Hoover’s maximal limit spaces I: local strong sobriety, bounded sup-completeness and weak Hausdorffness

In 1995, Douglas Hoover introduced and studied a notion of maximal limit spaces: spaces in which every convergent net has a unique largest limit. This has connections with many other kinds of spaces that we have explored already, and I … Continue reading

Posted in Uncategorized | Tagged , , , , , | Comments Off on Hoover’s maximal limit spaces I: local strong sobriety, bounded sup-completeness and weak Hausdorffness

Weakly Hausdorff spaces, and locally strongly sober spaces

A funny convergence of topics happened a few weeks ago. Frédéric Mynard told me about so-called locally strongly sober spaces (which, I am ashamed to say, I had heard about but completely forgotten about). At the same time, I was … Continue reading

Posted in Uncategorized | Tagged , , , , , | Comments Off on Weakly Hausdorff spaces, and locally strongly sober spaces

Convergence without points

Can you define convergence without mentioning points? More precisely, is there any form of Stone duality for convergence spaces, instead of just topological spaces? The short answer is yes. For the long answer, read the full post.

Posted in Uncategorized | Tagged , , , | Comments Off on Convergence without points

The Rasiowa-Sikorski lemma and the Baire property

Merry Christmas! And a Happy New Year, too. There are incredible links between logic and topology, and I would like to start with something called the Rasiowa-Sikorski lemma in logic. That is a theorem that states the existence of certain … Continue reading

Posted in Uncategorized | Tagged , , | Comments Off on The Rasiowa-Sikorski lemma and the Baire property