https://profilbaru.com/en/Freyd's_adjoint_functor_theorem