Owen wrote:

> Another typo, I think: Where John wrote

> > So by our Theorem, we see that \$$f^* : P(Y) \to P(X)\$$ _cannot_ be a left adjoint.

> I think he meant \$$f^\ast: \mathcal{E}(Y)\to \mathcal{E}(X)\$$.

Yes - it's all part of my plan to make people carefully question what I write, instead of just assuming it's all true.

Fixed, thanks!