有限集范畴

在范畴论的数学领域中，有限集范畴(FinSet) 是一个范畴，其对象是所有有限集合，其态射是它们之间的所有函数。而有限序数范畴(FinOrd)是一个范畴，其对象是所有有限序数，其态射是它们之间的所有函数。

 参见 

 一般集合论
 Lawvere理论

 References 

 Robert Goldblatt (1984). Topoi, the Categorial Analysis of Logic (Studies in logic and the foundations of mathematics, 98). North-Holland. Reprinted 2006 by Dover Publications, and available online at Robert Goldblatt's homepage.

Category:範疇論中的範疇