nLab permutation groupoid




The (skeleton of the) core groupoid of FinSet, hence the category of finite sets and bijections (permutations) between them, is sometimes called the permutation category or the permutation groupoid (e.g. BMT 2021).

It deserves to be called the symmetric groupoid, because its connected components are the delooping groupoids of all the symmetric groups Sym(n)Sym(n):

Core(FinSet)nBSym(n). Core(FinSet) \;\simeq\; \textstyle{ \underset{n \in \mathbb{N}} {\coprod} } \, \mathbf{B} Sym(n) \,.

In its skeletal incarnation on their right , this carries the structure of a strict symmetric monoidal category with addition of natural numbers as its tensor product. As such it is the free strict symmetric monoidal category on one object (namely on 11 \in \mathbb{N}).

The presheaves on the permutation groupoid are also known as combinatorial species.


Last revised on December 20, 2023 at 13:27:14. See the history of this page for a list of all contributions to it.