20/05/02 10:01:02 tIiqoMxP.net
>>478
>>つまりスリムな副有限群のなす圏が1圏になるってこと?
違います
スリムなふく有限群から得られるガロア圏つまり分類スタック
たちが1圏になるということです。
ここでスリムというのはcenter-freeということだから遠アーベルな性質です
Gがスリムな群としてBGからBGへのfunctor categoryが集合になるということ
といっていいです
BGを知らなくても
自己同型の集合Isom(G,G)にtargetのGが内部自己同型で