Referenced by:

• cats-initial-terminal
• cats-skeleton
• directed-set
• extrusive-posets
• lang
• lexi-embedding
• seven-sketches
• ordering-relation
• orders-as-graphs
• preorders-as-subsets
• syntheses