>>289
>ほんとに必要になったらやればいい。
まあそうかもしれんが、必要になる前に目星はつけておきたい
という気持ちもわかるよね。
相対論だって必要になることなんてないけど分かろうとするよね。
もちろん圏論は相対論ほどのものではないだろうが。