>>851
形式化をどう定義するかに寄るけど、圏論はモナドが入出力を表現できると分かってから、物理を中心に研究が盛んらしいので、まだ成熟はしてないんじゃないかな？と。

集合論の言葉で書かれた今までの定理や定義を圏論の言葉で書き直す試み（数学原論 斎藤 毅）もあるみたいですし。
その辺が落ち着いたら、形式化されたと言えるのかな？と。