Duality is a very pervasive and important concept in (modern) mathematics. See Encyclopedia of Mathematics for a list.
Whenever we have two mathematical objects A and B, a set F of "scalars" of some kind, and a function $\beta: A \times B \mapsto F$ that is a structure-preserving map in each variable separately, we can think of the elements of A as elements of the dual of B, and vice versa. Functions like $\beta$ are called pairings. {III.19 Gowers}
Given two distinct sets of mathematical objects, duality means they are isomorphic: $A \cong B$, or equivalently, $\exists f: A \mapsto B, f^{-1}: B \mapsto A$. The mathematical structure of the objects are preserved; all propositions that hold in one formulation also hold in the dual formulation.
When the two sets are identical, the duality (isomorphism) $∗: A \mapsto A$ is often (but not always) an involution (对合): $x^{∗∗} = x, \forall x \in A$. In this case, an element is self-dual to a dual operation if it is a fixed point of the dual operation: $x^∗ = x$.
Dual object itself does not carry any extra value than its primal object, but it may be much easier to understand, or make certain otherwise unthinkable calculations possible, which is the major motivation of studying dual objects. Understood more broadly, every Math and Formal Theory is a candidate dual representation of (certain aspects of) the physical world. When a duality is properly established, a formal theory can help us understand the world with parsimony.
A category (范畴) $\mathfrak{C} = (\mathrm{Ob}\mathfrak{C}, \mathrm{Mor}\mathfrak{C}, \circ)$ consists of a class $\mathrm{Ob}\mathfrak{C}$ of objects (物件), a class $\mathrm{Mor}\mathfrak{C}$ of morphisms (态射) from one object to another, and a composition (复合) operator $\circ$ on compatible pairs of morphisms, which satisfies:
A category consists of all the objects in some "universe of discourse" together with all the mappings between them.
A category $\mathfrak{C}$ is said to be small if $\mathrm{Ob}\mathfrak{C}$ and $\mathrm{Mor}\mathfrak{C}$ are sets. Given two objects $A, B \in \mathrm{Ob}\mathfrak{C}$, the set of morphisms $H(A, B)$ in category $\mathfrak{C}$ is defined such that $\alpha \in H(A, B) \iff \alpha: A \mapsto B, \alpha \in \mathrm{Mor}\mathfrak{C}$.
Monomorphism (单态射) is a morphism $\mu: B \mapsto C$ that can be cancelled on the left: $\forall \alpha, \beta \in H_{\mathcal{K}}(A, B)$, $\mu \alpha = \mu \beta \Rightarrow \alpha = \beta$. Epimorphism (满态射) is a morphism $\mu: A \mapsto B$ that can be cancelled on the right: $\forall \alpha, \beta \in H_{\mathcal{K}}(B, C)$, $\alpha \mu = \beta \mu \Rightarrow \alpha = \beta$. Isomorphism (同构) is a morphism $\mu: A \mapsto B$ that has an inverse: $\exists \mu^{-1}: B \mapsto A$, $\mu \circ \mu^{-1} = 1_B, \mu^{-1} \circ \mu = 1_A$. Two objects are isomorphic if there is an isomorphism between them.
Homomorphism (同态) is a morphism in a category of algebraic systems that preserves the basic operations and the basic relations. Endomorphism (自同态) is a homomorphism from one object to itself. The classification of endomorphisms on finite-dimensional spaces over an algebraically closed field is call Jordan cannonical form.
In most concrete categories over sets, an object is some mathematical structure; a morphism is a map between two objects; and the composition is just function composition. The category of sets $\mathcal{Ens}$ consists of all sets, all functions between sets, and the composition of functions; in $\mathcal{Ens}$, monomorphisms are the injections, epimorphism are surjections. The category of linear operators between vector spaces $\mathcal{Lin}$ consists of the vector spaces over a fixed field, the linear operators, and the composition law. The categories of continuous linear operators between Banach/Hilbert spaces $\mathcal{Ban}$ and $\mathcal{Hilb}$ have Banach/Hilbert spaces as the objects and continuous linear operators as the morphisms.
Logic:
Bi-implication is self-dual.
Set theory:
In projective geometry, line and point are dual concepts. In three-dimensional projective geometry, point and plane are dual, while line is self-dual. In projective geometry, once you have proved a theorem you get a dual theorem for free, unless the theorem is self-dual or the dual is trivial. A pair of dual theorems is "Two points determine a line" and "Two lines determine a point".
Differential geometry: k-form and k-dimensional surface.
Linear algebra, only considering finite dimensional vector spaces:
A function from object A to object B very often gives rise to a function from the dual of B to the dual of A. One kind of problem (existence; surjection) is converted into a different kind (uniqueness; injection) in the dual formulation.
Abstract Algebra: Pontryagin duality, Abelian groups;
In topology, closed and open are dual concepts.
(closed convex set, polar set)
Structure: linearity, topology, etc.
Manifold: Poincare duality
The importance of the duality concept in functional analysis relies chiefly in the possibility of relating properties of representations in one space to those in its dual, a space that can be shown to possess certain analytical regularity properties, such as closure, even if its domain space does not. [@Red-horse2009]
Functional analysis duality pairing: $\langle , \rangle$. Some properties of a function are naturally expressed in the dual formulation.
Fourier transform $\mathcal{F}$ on absolutely integrable continuous functions with real domain and complex range. Dual spaces in Fourier transform: time domain and frequency domain.
It is not always easy to translate a statement about a function into an equivalent statement about its Fourier transform.
Banach space:
In mathematical optimization theory, duality means that optimization problems may be viewed from either of two perspectives, the primal problem or the dual problem. The solution to the dual problem provides a lower bound to the solution of the primal (minimization) problem. The difference is called the duality gap.
von Neumann conjectured the duality theorem for linear optimization, realizing that two person zero sum matrix game (where minimax = maximin) was equivalent to linear programming.
edge and vertex (undirected graph and its line graph)