I proved:

Theorem $latex T$ is a left adjoint of both $latex F_{\star}$ and $latex F^{\star}$, with bijection which preserves the “function” part of the morphism.

The details and the proof is available in the draft of second volume of my online book.

The proof is not yet enough checked for errors.

5 Responses

Leave a Reply

Your email address will not be published. Required fields are marked *