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

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

1. объекты - натуральные числа,
2. морфизмы натурального числа n в себя являются элементами симметрической группы $S_{n}$ и
3. не существует морфизмов от m до n, если $m\neq n$.

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

Ссылки

• Тримбл, Тодд Х. «Заметки об операде лжи» (PDF) . Чикагский университет . Проверено 27 сентября 2022 г.