>>554
>数学基礎論にタッチしない分野の大多数の数学者は圏論なしで何不自由なく仕事してる

そんなことはない
例えば代数幾何では圏論はほとんど不可欠