In mathematics, the permutation category[1] is a category where It is equivalent as a category to the category of finite sets and bijections between them.
This category theory-related article is a stub.
You can help Wikipedia by expanding it.