Referenced by:

• algebra-ring
• algebra-structure
• cats-category-of-elements
• cats-functor
• cats-monic-epic
• delta-types
• lang
• logic-universal-axiomatization
• monoid-isomorphism
• seven-sketches
• orbit-group
• uniformity