Referenced by:

• cats-category-of-elements
• cats-yoneda
• com-encoding
• delta-types
• ucb-catthy-04
• ucb-metamathematics-b-04