Jabarkan Topoi dari Kategori himpunan hingga

Seperti Himpunan, HImpunan Fin, dan FinOrd merupakan topoi. Seperti Himpunan, di HImpunan Fin, darab kategoris dari dua objek A dan B diberikan oleh produk Cartesius , jumlah kategoris diberikan oleh gabungan lepas , dan objek eksponensial  diberikan oleh himpunan semua fungsi dengan ranah  dan kodomain . Di FinOrd, darab kategoris dari dua objek  dan  diberikan oleh darab ordinal , jumlah kategoris diberikan oleh jumlah ordinal , dan objek eksponensial diberikan eksponesiasi ordinal . Penggolong subobjek dalam HImpunan Fin dan FinOrd sama dengan dalam Himpunan, FinOrd merupakan sebuah contoh dari sebuah PRO.