categorical dual

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

Noun[edit]

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.