论文标题
动作群的生物学
Bicategories of Action Groupoids
论文作者
论文摘要
我们证明，通过以下三种不同方式定位的2类作用lie caltemoid会产生同等的生物游戏：在等效的弱等价上定位，使用过多的降级等效弱等效性和无力的罗伯特斯（Anafunctors），并在所有弱等价上进行本地化。这些构造概括了已知的可代表的Orbifold类固醇。我们还表明，作用类lie类之间的任何弱等效性都是两种特别好的弱弱等效形式的组成。
We prove that the 2-category of action Lie groupoids localised in the following three different ways yield equivalent bicategories: localising at equivariant weak equivalences à la Pronk, localising using surjective submersive equivariant weak equivalences and anafunctors à la Roberts, and localising at all weak equivalences. These constructions generalise the known case of representable orbifold groupoids. We also show that any weak equivalence between action Lie groupoids is isomorphic to the composition of two particularly nice forms of equivariant weak equivalences.
