formula_23可度量化，对一般的formula_1则不尽然。这可用线性代数中的对偶空间来类比，就像一个佈于formula_28的向量空间formula_2有对偶空间formula_30，对偶群可看成formula_31。更抽象的说，这两者都是可表函子，被formula_28及formula_16所表示。定理：二次对偶formula_34与formula_1有个自然同构。在此，「自然」或「典范」同构意谓一个「自然地」定义的映射formula_36，要点是它在范畴中满足函子性（详见条目范畴论）