Tolong jelaskan mengenai Kategori himpunan hingga

Dalam bidang matematika mengenai teori kategori, Himpunan Fin atau kategori himpunan hingga merupakan kategori yang semua objek adalah himpunan hingga dan yang semua morfisme adalah fungsi diantaranya. FinOrd merupakan kategori yang semua objek adalah bilangan ordinal hingga dan yang morfismenya semua adalah fungsi diantaranya.