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!