Computed the indexed right adjoint to Prof. Added more indexed adjunctions.