圏論は公理が全てだと言ってる人ってもしかして
今月号の数学セミナーの談話に載ってたような
圏論はトップダウン型の理論だとかそういうことが言いたいのかな
とてもそうは解釈できないけど