前順序集合の圏
数学の一分野、圏論における前順序集合の圏(ぜんじゅんじょしゅうごうのけん、英: category of preordered sets)Ord は、すべての前順序集合(英語版)を対象とし、単調写像を射とする圏である。二つの単調写像の合成はふたたび単調であり、また恒等写像は単調であるから、これは確かに圏を成していることがわかる。