Referenced by:

• cats-category-theory
• cats-category
• cats-homomorphism
• cats-monic-epic
• cats-representable
• groups-grp
• ucb-catthy-01
• logic-category-of-models
• magma-homomorphism