algebraic and geometric topology も同じではないかな