Monthly Archives: June 2015

Last time, we concluded with a mysterious observation.  There is a theory, that of unital inflationary topological semi-lattices, which plays a fundamental role in the study of the Hoare powerspace.  On the one hand, H(X) is the free sober such thing.  On the … Continue reading →