added the CCC adjunctions