圏論だけは新しい数学的成果を生み出せない分野だと思う。