>>17さん、すみません。

先ほど私が「圏論のことだろ バカは黙ってろよ」と投稿した人を別人と勘違いして、強い言葉で返信してしまいました。完全に私のミスです。
本当に申し訳ありませんでした。深くお詫びします。
もし>>1の話題に興味があれば、引き続き議論できたら嬉しいです。