Jabarkan Sifat-sifatnya dari Kategori himpunan hingga

Himpunan Fin merupakan sebuah subkategori penuh dari Himpunan; kategori yang semua objek adalah himpunan dan semua morfisme adalah fungsi. Seperti Himpunan, Himpunan Fin merupakan sebuah kategori besar.

FinOrd merupakan sebuah kategori penuh HimpunanFin seperti oleh definisi standar, disarankan oleh John von Neumann, setiap ordinal merupakan himpunan terurut rapi dari semua ordinal yang lebih kecil. Tidak seperti Himpunan dan Himpunan Fin, FinOrd merupakan sebuah kategori kecil.

FinOrd merupakan sebuah kerangka HImpunan Fin. Oleh karena itu, HImpunan Fin dan FinOrd merupakan kategori setara.