Monthly Archives: May 2015

The last post was late.  Let me compensate by being early this time. I had promised you that we would see why the theory of the Hoare powerspace monad was given by a small family of axioms, those of unital … Continue reading →

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 … Continue reading →