圏論がどうたらこうたらなんて所詮体裁の良い口実だよ。
別に推進していくのは圏論じゃなくてもいいんだから。