命題
C と D を圏 A 上の準具象圏(過去スレ019の794)とする。
(C, F, G, D) と (C, F’, G, D) は圏論的Galois対応(>>768)とする。
このとき F と F’は準具象的に自然同型(>>796)である。

証明
各 X ∈ C に対して X ≦ GF(X)
>>793より、F’(X) ≦ F(X)
同様に F(X) ≦ F’(X)
よって、F と F’は準具象的に自然同型である。
証明終