Re: ! as comonad or adjunction?

One answer to Vaughan's question is that if the original category has equalizers, then the Eilenberg-Moore category is also a CCC. With equalizers too, which makes it, by my estimation, a better model. A CCC that does not have equalizers is not much of a model of classical logic, since without equalizers, you cannot form predicates, at least not freely. Are there other CCCs? There is not reason why not, although I don't any example offhand. Michael ==============================================================================