なんで「カテゴリー」を「圏」なんて訳したんだ？
「圏」だと大気圏だの成層圏だのを思い浮かべる
「範疇論」でいいじゃん