In category theory, a branch of mathematics, duality is a correspondence between the properties of a category C and the dual properties of the opposite category Cᵒᵖ. Wikipedia