Referenced by:

• cats-category-of-elements
• cats-equivalent
• cats-homomorphism
• cats-limit
• cats-monic-epic
• cats-natural-transformation
• cats-product
• cats-representable