CatGloss
Example 2.: A
chain
is a poset $ mathbf{P}=(P