categorical dual

Noun

 * 1)  For a given category C, its dual category Cop is obtained by reversing the direction of each one of the arrows of C.