Yeah, now if we can pull JohnK away from doing real mathematics long enough write about Isbell Duality[!], then we will have a serious party :) [!] https://ncatlab.org/nlab/show/Isbell+duality#related_concepts -- Sent from: http://friam.471366.n2.nabble.com/