>>552
基礎論専門以外の大多数の数学者には圏論は必要ない
数学基礎論にタッチしない分野の大多数の数学者は圏論なしで何不自由なく仕事してる