Permutation category
From HandWiki
Short description: Type of mathematical category
In mathematics, the permutation category[1] is a category where
- the objects are the natural numbers,
- the morphisms from a natural number n to itself are the elements of the symmetric group [math]\displaystyle{ S_n }[/math] and
- there are no morphisms from m to n if [math]\displaystyle{ m\neq n }[/math].
It is equivalent as a category to the category of finite sets and bijections between them.
References
- ↑ Trimble n.d., § 1
- Trimble, Todd H.. "Notes on the Lie operad". http://math.ucr.edu/home/baez/trimble/trimble_lie_operad.pdf.
 |  |
