Referenced by:

• abstraction-group
• cats-limit
• cats-monic-epic
• cats-product
• com-index
• extrusive-posets
• ucb-catthy-04
• ucb-catthy-06
• ucb-metamathematics-b-01
• ucb-metamathematics-b-06
• le-misc-notes
• logic-universal-axiomatization