Saya mau tau Teori kategori dari Urutan total

Himpunan berurutan total membentuk subkategori lengkap dari kategori dari himpunan berurutan sebagian, dengan morfisme adalah peta dengan dukungan, yaitu memetakan f sehingga jika a ≤ b maka f(a) ≤ f(b).

Sebuah peta bijektif antara dua himpunan terurut total dengan dua urutan tersebut adalah sebuah isomorfisme dalam kategori ini.