Tag Archives: Smyth hyperspace

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

When is ℒ(X) locally compact?

Let ℒ(X) be the dcpo of all lower semicontinuous maps from a space X to R+ ∪ {∞}. We give it the Scott topology. Under which conditions on X is it locally compact? We will see that this happens exactly … Continue reading

Posted in Uncategorized | Tagged , , , , | Comments Off on When is ℒ(X) locally compact?

The complete lattice Lfan (part II)

Last time, we had started to study the complete lattice Lfan, namely just N × N, with equality as ordering on the first component and the usual ordering on the second component, plus an extra bottom element ⊥, plus an … Continue reading

Posted in Uncategorized | Tagged , , , , , , | Comments Off on The complete lattice Lfan (part II)