命題
F：C → D を圏同値(過去スレ017の404)とする。
F は全射を保存する。
即ち、f：X → Y が C における全射であれば F(f)：F(X) → F(Y) は全射である。

証明
>>448と双対原理(>>159)