Adjunction.op
Merge pull request #1 from Saizan/master

Added an "op" for Adjunctions