Referenced by:

• cats-category
• cats-homomorphism
• extrusive-posets
• ucb-catthy-06
• sets-well-ordering
• syntheses