Permutation category explained

In mathematics, the permutation category is a category where

  1. the objects are the natural numbers,

Sn

and
  1. there are no morphisms from m to n if

mn

.

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

References