Категория перестановки - Permutation category - Wikipedia

В математике категория перестановки[1] это категория куда

  1. объект - это натуральное число,
  2. морфизм является элементом симметричная группа когда и нет иного.

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

Рекомендации

  1. ^ Trimble, § 1