moved faithful functors around and added adjunctions