Duality is the observation that σ is true for some category C if and only if σop is true for Cop.
دوگانگی، مشاهده ایست که σ برای دسته‌ای چون C برقرار است اگر و تنها اگر σop برای Cop صادق باشد.