Permutation category
In category theory, a branch of mathematics, the permutation category is the category where
- the objects are the natural numbers,
- the morphisms from a natural number n to itself are the elements of the symmetric group and
- there are no morphisms from m to n if.