Categoría de permutación

En la teoría de categorías , una rama de las matemáticas , la categoría de permutación ^{[ 1 ]} es la categoría donde

1. Los objetos son los números naturales,
2. Los morfismos de un número natural n en sí mismo son los elementos del grupo simétrico.${\displaystyle S_{n}}$y
3. no hay morfismos de m a n si${\displaystyle m\neq n}$.

Como categoría, es equivalente a la categoría de conjuntos finitos y a las biyecciones entre ellos.

• Trimble, Todd H. "Notas sobre la ópera de mentiras" (PDF) . Universidad de Chicago . Consultado el 27 de septiembre de 2022 .