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