Referenced by:

• cats-adjunction
• cats-category-of-elements
• cats-constant-functor
• cats-equivalent
• cats-free-group-functor
• cats-full-faithful
• cats-functor-category
• cats-monic-epic
• cats-natural-transformation
• cats-product
• cats-representable
• cats-skeleton
• cats-yoneda