有限集合の圏
数学の一分野、圏論における有限集合の圏（ゆうげんしゅうごうのけん、） は、すべての有限集合を対象とし、それら対象の間のすべての写像を射とする圏である。関連する圏として、有限順序数の圏（ゆうげんじゅんじょすうのけん、） はすべての有限順序数を対象とし、それらの間のすべての写像を射とする圏である。