Permutation category explained

In category theory, a branch of mathematics, the permutation category is the category where

the objects are the natural numbers,

S_n

and

there are no morphisms from m to n if

m ≠ n

.

It is equivalent as a category to the category of finite sets and bijections between them.

References

Web site: Todd H. . Trimble . Notes on the Lie operad . University of Chicago . 2022-09-27 . .