Sign up ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

The nerve of a groupoid is (by construction) a simplicial set and this works for any category. However there is extra structure in the case of a groupoid. Namely the set of $n$-simplices has an action of the symmetric group $S_{n+1}$. Furthermore it appears that these group actions and the simplicial maps combine to make the nerve a $\Delta S$-set (where $\Delta S$ is the crossed simplicial group). In fact I suspect the symmetric groups here can be replaced by the hyperoctahedral groups but this should be checked.

[ Crossed simplicial groups were defined in MR0998125 Fiedorowicz, Zbigniew ; Loday, Jean-Louis Crossed simplicial groups and their associated homology. Trans. Amer. Math. Soc. 326 (1991), no. 1, 57--87. ]

Does this extend to strict $n$-groupoids? The nerve of a strict $n$-category is a simplicial set (by construction) and a strict $n$-groupoid is a strict $n$-category in which all morphism are invertible. So I am asking for actions of symmetric groups (or hyperoctahedral groups) on the simplices in the case all morphisms are invertible.

The reason I am confused is that an $n$-simplex is a map of $n$-categories from the oriental $O(n)$ to the $n$-groupoid and the definition of $O(n)$ seems complicated to me.

share|cite|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.