既に得られた結果をまとめていって圏論という構造、器の定義まで
持っていったから、圏論で概要は語れるが詳細は分野ごとに中身を
詰めて行くしかない。というイメージを持ってる。
物理の標準理論のように基礎構造を圏論に入れ替えても中身に影響
あったら困るし。圏論で語るまでに得られた結果が覆るわけでもなし。
テナントのないビルのようなものだなー。