Sekirov Dictionary

categorical dual

noun1

For a given category C, its dual category Cᵒᵖ is obtained by reversing the direction of each one of the arrows of C.

forms

categorical duals

This dictionary works without the internet: on your phone · in Chrome