Here is a list of posts on powerdomains and hyperspaces so far:
- Powerdomains and hyper spaces I: Closed and open subsets
- Powerdomains and hyperspaces II: Monads
- Powerdomains and hyperspaces III: The theory of H
- Powerdomains and hyperspaces IV: Theories
- Adjoint functor theorems: GAFT and SAFT
- Quasi-continuous domains and the Smyth powerdomain
- When do the upper (a.k.a., lower Vietoris) and Scott topologies coincide on the Hoare hyperspace of a space?
- Strongly compact sets and the double hyperspace construction
