加载中…
Let be an -topos, for example the -category of simplicial sheaves on a Grothendieck site. Then -group sheaves are group objects in . Let be such a group object. Then as is an -topos, there exists a universal -fiber bundle $\mathbf BA// A\xrightarrow q\mathbf B Aq$ pointed, and show that as a pointed map, via the looping-delooping equivalence, it is a universal extension of group objects by . In particular, semidirect products of group objects by are classified by .

生成讲解博客的中文版本

生成AI智能校验的中文版本