Powerdomains and hyperspaces II: monads

Let us deepen our understanding of the Hoare powerspace construction. We shall see that it defines a so-called monad.  There would be many, many things to say about monads!  I will only give a very superficial introduction here, trying to convince you that the Hoare powerspace construction indeed produces a monad.  In part III, I’ll tell you about the inequational theories of monads, and monad algebras.  Read the full post.