有限集合の圏
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/19 15:10 UTC 版)
数学の一分野、圏論における有限集合の圏（ゆうげんしゅうごうのけん、英: category of finite sets）FinSet は、すべての有限集合を対象とし、それら対象の間のすべての写像を射とする圏である。関連する圏として、有限順序数の圏（ゆうげんじゅんじょすうのけん、英: category of finite ordinals）FinOrd はすべての有限順序数を対象とし、それらの間のすべての写像を射とする圏である。
- ^ FinSet in nLab 1. Definition 後段の注意またはsymmetric sequence in nLab Definition 2.2. のすぐ後の段落
[続きの解説]
「有限集合の圏」の続きの解説一覧
- 1 有限集合の圏とは
- 2 有限集合の圏の概要
- 有限集合の圏のページへのリンク
