Категория перестановок

В математике категория перестановок - это категория, где

1. объект - натуральное число,
2. морфизм $n\; \to \; m\; \{\backslash \; displaystyle\; n\; \backslash \; to\; m\}$является элементом симметричной группы $\Sigma \; n\; \{\backslash \; displaystyle\; \backslash \; Sigma\; \_\; \{n\}\}$, когда $n\; =\; m\; \{\backslash \; displaystyle\; n\; =\; m\}$и никак иначе.

Это эквивалентно как категория категории конечных множеств и взаимных однозначностей между ними.

• Тодд Тримбл, Заметки об операдах и операдах Ли

.