それと、「 区体論の否定が圏論の否定に繋がる 」くらいに
区体論が圏論に そっくり似ているのなら、もはや区体論なんて
必要なくなるぞ。

「 区体論？圏論の単なる言い換えでしょ？いらないじゃん 」
「 準関数？圏論で表現できるんじゃないの？ 」

とか言われてしまうぞ。それでいいのか？