categorical dual (suomeksi)

Määritelmät:

(lb, en, category theory) For a given category ''C'', its '''dual category''' ''C''^op is obtained by reversing the direction of each one of the arrows of ''C''.