预序范畴
在數學領域，預序範疇（記為 Ord）指以全體預序集為對象、其上的全體單調函數為態射的範疇。由於任意單調函數的複合還是單調函數，故其滿足構成範疇的前提條件。
Ord 的單態射為單射單調函數。
Ord 的始對象是空集（空集為預序集），終對象為任意單元素預序集。Ord 無零對象。
Ord 上的積為笛卡兒積和其上的積序所構成的預序集。
存在從 Ord 到 Set 上的遺忘函子。把預序集映射為該集合，把單調函數映射為函數。該遺忘函子為一忠實函子，故 Ord 為具體範疇。