categorical dual

English

Noun

categorical dual (plural categorical duals)

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