Categoría de permutación

Tipo de categoría matemática

En matemáticas, la categoría de permutación ^[1] es una categoría donde

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

Equivale como categoría a la categoría de conjuntos finitos y biyecciones entre ellos.

Referencias

1. Trimble nd, § 1

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