有限集范畴

在范畴论的数学领域中，有限集范畴(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 [https://historical.library.cornell.edu/cgi-bin/cul.math/docviewer?did=Gold010&id=3 online] at [http://www.mcs.vuw.ac.nz/~rob/ Robert Goldblatt's homepage].