IU幾何って単に圏を幾何的対象にするだけだろ