Wiktionary
categorical dual
n. (context category theory English) For a given category ''C'', its '''dual category''' ''C''op is obtained by reversing the direction of each one of the arrows of ''C''.