Referenced by:

• cats-category-of-elements
• cats-equivalent
• cats-free-group-functor
• cats-homomorphism
• cats-natural-transformation
• cats-opposite-category
• cats-yoneda