最終的には、IUは圏論に吸収されるのかそれとも圏論の上位理論になるのか
もっちーVSルーリー