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