暇つぶし2chat MATH

- 暇つぶし2ch743:S--->BGを考えるとこの商社像は関手であらわされるけどそれをFと置くとF自身が自然変換による自己同型をもちそれがちょうどG分ある　これはこのような２射は代数空間ではあらわれないもんでありこのことがスタックと代数空間との違いを明瞭に表している加えて言うとガロア圏はBGのようにふるまう 467 名前：１３２人目の素数さん[sage] 投稿日：2020/05/02(土) 01:46:22.33 ID:tIiqoMxP [3/10] 今全文よみましたこういうことですね　基本的にはＢＧとその間の関手たちを扱いたいわけですそうするとＢＧみたいなもののなす圏はＧに仮定をつけないと２圏になりますアナベロイドの理論は知らないけどＧがslimだとＢＧからＢＧの関手の間にある自然変換すなわち内部自己同型由来のものはなくなって１圏になってしまうってすぐわかりますね遠アーベル幾何ではそれが主人公になるから２圏までもちださずに１圏で作業するっていうことですよｗ (引用終り)