順列カテゴリ

数学の一分野である圏論において、置換圏^{[ 1 ]}は、

1. 対象は自然数です。
2. 自然数nからそれ自身への射は、対称群の要素である。${\displaystyle S_{n}}$そして
3. mからnへの射は存在しない。${\displaystyle m\neq n}$。

それは、有限集合とそれらの間の全単射の圏と同等の圏である。

• Trimble, Todd H. 「嘘のオペラに関する注釈」(PDF)。シカゴ大学。 2022年9月27日取得。