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)$:
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 $1 \in \mathbb{N}$).
The presheaves on the permutation groupoid are also known as combinatorial species.
Wikipedia, Permutation category
John Baez, Joe Moeller, Todd Trimble, Schur functors and categorified plethysm [arxiv:2106.00190]
Last revised on December 20, 2023 at 13:27:14. See the history of this page for a list of all contributions to it.