Permutation category

In mathematics, the permutation category[1] is a category where

  1. an object is a natural number,
  2. a morphism is an element of the symmetric group when and is none otherwise.

It is equivalent as an category to the category of finite sets and bijections between them.

References
  1. Trimble, § 1
  • Trimble, Todd H. "Notes on the Lie operad" (PDF). University of Chicago.{{cite web}}: CS1 maint: ref duplicates default (link)


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.