product groupoid
more work on properties of all adjunctions