En matemáticas, la categoría de permutación [1] es una categoría donde
- un objeto es un número natural,
- un morfismo es un elemento del grupo simétrico Cuándo y no es de otra manera.
Es equivalente como categoría a la categoría de conjuntos finitos y biyecciones entre ellos.
Referencias
- Todd Trimble, Notas sobre operadas y la mentira operada