Prop Posets and monotone functions form a category . Proof Suppose and with posets , and are monotone. Then we have the composition . For all , assume , then as . Thus is also monotone.