抽象的な幾何学 IV