Category Archives: Uncategorized

Stone duality for preordered topological spaces I. Bonsangue-Jacobs-Kok duality for preorders

We know a lot of Stone-like dualities, and I would like to start exploring a form of Stone duality for preordered topological spaces. We start with a simple problem this month: duality for preordered sets; hence, no topology (yet) in … Continue reading

Posted in Uncategorized | Comments Off on Stone duality for preordered topological spaces I. Bonsangue-Jacobs-Kok duality for preorders

Knijnenburg’s dcpo, weakly Hausdorff spaces and lenses

In 1993, Knijnenburg studied lenses, and came up with a simple dcpo that shows that the topological and the ordinary Egli-Milner orderings on lenses can differ. This dcpo settles more than this question. For example, it is an algebraic dcpo … Continue reading

Posted in Uncategorized | Comments Off on Knijnenburg’s dcpo, weakly Hausdorff spaces and lenses

Compactly Choquet-complete spaces III: products and continuous almost open images

We continue our study of the class of compactly Choquet-complete spaces. We will show two things. First, that this class is closed under finite and countable products, but not under arbitrary products. While the technique for finite products consists in … Continue reading

Posted in Uncategorized | Comments Off on Compactly Choquet-complete spaces III: products and continuous almost open images

Compactly Choquet-complete spaces II: completely Baire spaces

A completely Baire space is a space that is not only Baire, but whose closed subspaces are all Baire. We will continue our exploration of compactly Choquet-complete spaces, and we will see that they are all completely Baire. In fact, … Continue reading

Posted in Uncategorized | Comments Off on Compactly Choquet-complete spaces II: completely Baire spaces

Compactly Choquet-complete spaces I: LCS-complete and Gδ subspaces

A Choquet-complete space is one in which player α has a winning strategy in the strong Choquet game. By winning, it is meant that the intersection of all the open sets played by α is non-empty. If you change the … Continue reading

Posted in Uncategorized | Comments Off on Compactly Choquet-complete spaces I: LCS-complete and Gδ subspaces

Proper maps, quasi-adjoints and the Smyth hyperspace

This month, I would like to talk about proper maps, a nifty equivalent characterization through something I call quasi-adjoints and which involves the Smyth hyperspace monad, with a few non-trivial applications. Read the full post.

Posted in Uncategorized | Tagged , , , , | Comments Off on Proper maps, quasi-adjoints and the Smyth hyperspace

Bitopological spaces, d-frames, and Jung-Moshier duality

Stone duality is an adjunction between the category Top of topological spaces and the category Loc of locales, namely the opposite of the category Frm of frames. Is there a similar-looking adjunction between the category biTop of bitopological spaces—namely, sets … Continue reading

Posted in Uncategorized | Tagged , , , , | Comments Off on Bitopological spaces, d-frames, and Jung-Moshier duality

All countable continuous dcpos are algebraic

A little pearl this month: as the title says, all countable continuous dcpos are algebraic. Read the full post.

Posted in Uncategorized | Tagged , , , , | Comments Off on All countable continuous dcpos are algebraic

Jimmie Lawson’s compact interval theorem

We will see a relatively recent theorem of Jimmie Lawson’s: consider a locally compact space X with a semiclosed ordering ≤, and a closed connected chain C inside X; then every closed interval inside C is compact in X. The … Continue reading

Posted in Uncategorized | Comments Off on Jimmie Lawson’s compact interval theorem

Koch’s arc theorem

Koch’s arc theorem is a famous theorem saying that, under a few conditions, given any point x of an open subset U of a pospace (X, ≤), one can draw an arc chain from some point on the boundary of … Continue reading

Posted in Uncategorized | Tagged , , , | Comments Off on Koch’s arc theorem