Noun
categorical dual (plural categorical duals) (category theory) For a given category C, its dual category C is obtained by reversing the direction of each one of the arrows of C.