定義
C を圏とする。
f：X → Y を C における任意の射とする。
W を Y の任意の部分対象とする。
f^(-1)(W) (>>249) が存在するとき C は逆像を持つと言う。