Merge pull request #1 from Saizan/master

Added an "op" for Adjunctions
Categories.End