显然的自然层态射是唯一的

我们证明了一大类自然变换（大致由那些通过“函子性”或“基变换”变换复合构造而成的变换）在两个形如 $\cdots f^* g_* \cdots$ 的函子之间实际上只有一个元素，因此任何此类映射的图必然交换。我们确定了定义所谓“几何纤维化范畴”（geofibered category）的确切公理，以确保此类相干定理成立。我们的结果适用于代数几何中所有常规的层论背景。包含其他六个函子中任意一个的类似结果仍然未知。