圏論、基礎論を勉強するだけでごたごた言われてもなあ
そういうの触れずにきたODの嫉妬マウンティングにしか思えん