# I proved that certain functors between topological spaces and endofuncoid are adjoint

I proved:

Theorem $T$ is a left adjoint of both $F_{\star}$ and $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.