>>450
集合論と論理学を拡張できる
例えば、論理学で様相論理を拡張する論文を書くときに、圏論で定式化するとカッコ良くね?