Author Archives: jgl

Weakly Hausdorff spaces, and locally strongly sober spaces

Posted on November 20, 2022 by jgl

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

Strongly compact sets and the double hyperspace construction

Posted on October 19, 2022 by jgl

The notion of strongly compact set is due to Reinhold Heckmann. A few months ago, I said that I would explain why the sobrification of the space Qfin(X) of finitary compact sets on a sober space X is not the … Continue reading →

Posted in Uncategorized | Tagged , , | Comments Off on Strongly compact sets and the double hyperspace construction

Algebras of filter-related monads: II. KZ-monads

Posted on September 19, 2022 by jgl

Alan Day and Oswald Wyler once proved that the algebras of the filter monad on the category Top0 of T0 topological spaces are exactly the continuous (complete) lattices. Martín Escardó later gave a very interesting proof of this fact, using a category-theoretic construction … Continue reading →

Posted in Uncategorized | Tagged , , , | Comments Off on Algebras of filter-related monads: II. KZ-monads

Algebras of filter-related monads: I. Ultrafilters and Manes’ theorem

Posted on August 20, 2022 by jgl

In 1969, Ernest Manes proved the following remarkable result: the algebras of the ultrafilter monad on Set are exactly the compact Hausdorff spaces. This is remarkable, because it gives a purely algebraic/category-theoretic of the otherwise purely topological notion of compact … Continue reading →

Posted in Uncategorized | Tagged , , , | Comments Off on Algebras of filter-related monads: I. Ultrafilters and Manes’ theorem

A report from ISDT’22: one-step closure; c-spaces are not CCC

Posted on July 20, 2022 by jgl

I have been attending the 9th International Symposium on Domain Theory (ISDT’22), which took place online, July 4-6, 2022, in Singapore. This was a fine conference indeed, and it ran very smoothly. I initially intended to give a summary of … Continue reading →

Posted in Uncategorized | Tagged , , | Comments Off on A report from ISDT’22: one-step closure; c-spaces are not CCC

Q is not consonant: the Costantini-Watson argument

Posted on June 20, 2022 by jgl

I have already given an argument for the non-consonance of the Sorgenfrey line Rℓ here. I would now like to explain why the space Q of rational numbers is not consonant either. That is quite a challenge. The most easily … Continue reading →

Posted in Uncategorized | Tagged , , , , | Comments Off on Q is not consonant: the Costantini-Watson argument

Compact scattered subsets and a topological game

Posted on May 20, 2022 by jgl

Showing that Q is not consonant is quite an ordeal. I have finally managed to understand one of the existing proofs of this fact, due to Costantini and Watson. This would be a bit too long to cover entirely in … Continue reading →

Posted in Uncategorized | Tagged , , , | Comments Off on Compact scattered subsets and a topological game

Topological lattices with small semilattices

Posted on April 19, 2022 by jgl

I would like to explain a clever counterexample due to Jimmie Lawson in 1970, or rather a slight variant of it, pertaining to the theory of topological semilattices and to a property that crops up naturally, namely having small semilattices. … Continue reading →

Posted in Uncategorized | Tagged , , , , , | Comments Off on Topological lattices with small semilattices

When do the upper (a.k.a., lower Vietoris) and Scott topologies coincide on the Hoare hyperspace of a space?

Posted on March 20, 2022 by jgl

I would like to talk about a nifty, recent result due to Yu Chen, Hui Kou, and Zhenchao Lyu. There are two natural topologies on the Hoare hyperspace of a space X, the Scott and the lower Vietoris topology, and … Continue reading →

Posted in Uncategorized | Tagged , , , , , | Comments Off on When do the upper (a.k.a., lower Vietoris) and Scott topologies coincide on the Hoare hyperspace of a space?

L-domains, stable open sets, and stable Stone duality

Posted on February 21, 2022 by jgl

Stone duality relates topological spaces and locales (or frames). But there are really many sorts of Stone dualities. In 1997, Yixiang Chen studied Stone dualities that relate so-called L-domains to so-called distributive D-semilattices. This was refined later in a common … Continue reading →

Posted in Uncategorized | Tagged , | Comments Off on L-domains, stable open sets, and stable Stone duality