Added an "op" for Adjunctions