CatGloss
Thus in a poset