圏論ブームなるものが一時期あった。自分も浮かれて乗っていたけれどひどい黒歴史だ。 圏論ブームは去ったのでしょうか？ - Quora 結論としてわかったことは圏論を直接やっても意味がないということだった。 束論で圏論とほぼ同じことができるということはわ…