23/02/06 10:14:45.61 lA1TcTQr.net
群やら層やら圏やらに対して
なぜそういう定義になっているのか？
というのは当然の質問だが
その答えは定理の証明でそれらが
どう使われるか知ることに尽きるので
まずそういうものだと受け入れるしかない
そもそもその定式化が適切かどうかも
わからないのだから
あくまで先人が考えたプランでしかない
23/02/06 10:14:45.61 lA1TcTQr.net
群やら層やら圏やらに対して
なぜそういう定義になっているのか？
というのは当然の質問だが
その答えは定理の証明でそれらが
どう使われるか知ることに尽きるので
まずそういうものだと受け入れるしかない
そもそもその定式化が適切かどうかも
わからないのだから
あくまで先人が考えたプランでしかない