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