＞>>147については、区体論のほうが圏論よりも強いので問題ない。
＞つまり、区体論で圏論を表現できるが、圏論で区体論を表現することはできない。
それは初耳だな。
公理8の区体論も公理9の区体論も、集合論で表現できるのだから、
もし本当に区体論で圏論が表現できるなら、それは
「集合論で圏論が表現できる」と言っているようなもんだけどな。


とりあえず、実際に区体論で圏論を表現してみてください。