ormula_51中的对象formula_79，formula_122是一个同构。
举例.设formula_35是体，formula_124是formula_35上的任意向量空间，则有从向量空间到其二重对偶的一个“自然”内射型线性映射formula_126 。这些映射在以下意义上是“自然”的：二重对偶运算是一个函子，这些映射正好构成了从恒等函子到二重对偶函子的自然变换。如果向量空间的维数是有限的，我们就得到一个自然同构；因为“有限向量空间自然同构于其二重对偶”。考虑阿贝尔群及其