Adjunctions
moved faithful functors around