前順序集合 - 雑多な感じ

前順序集合

preorder

プレ順序集合

任意の対象の対の間に、射がたかだか１つしか存在しない圏

$ \forall a,b \ | \hom(a,b) | \leq 1

$ \leq\colon a \to b