Duality is the observation that σ is true for some category C if and only if σop is true for Cop.
Двойственность — это наблюдение, что σ выполняется в некоторой категории C тогда и только тогда, когда σop выполнено в Cop.