>>55
どうも。スレ主です。
レスありがとう

>採用してるよ。代表元を扱っているんだから。

同感です。というか、普通に整数全体や有理数や実数を扱うと、無意識に選択公理を使っていると思う
そして、選択公理は、”選択公理は直感に反さない”と思うし、圏論はまだよく理解出来ていないが、けっこう自然という主張に１票>>56