You have probably sweated a lot at trying to understand the constructions of Part IV. They rest on a lot of topology and domain theory. Perhaps surprisingly (if you do not know it already), they are completely generic, and work in any category with enough structure. This is what we learn from Peter Freyd’s adjoint functor theorems, of which there are two: the general one, and the special one. Read the full post.