Product-category adjunctions: (+) -| diagonal -| (*)