可表函子，被formula_28及formula_16所表示。定理：二次对偶formula_34与formula_1有个自然同构。在此，「自然」或「典范」同构意谓一个「自然地」定义的映射formula_36，要点是它在范畴中满足函子性（详见条目范畴论）。举例明之：任何有限阿贝尔群都同构于其对偶群，但并不存在典范同构。定理中的自然同构定义如下：换言之，我们借着将一个元素formula_38在每个formula_1的特征上求值，得到一个formula_23上的特征。
例子.