Referenced by:

• cats-full-faithful
• ucb-catthy-05
• idempotents-and-projections
• logic-elementary-substructure