About: 前順序集合の圏

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