For any Category , the opposite category has the same objects but and are interchanged, and in is in