Referenced by:

• cats-adjunction
• cats-essentially-discrete
• cats-essentially-small
• cats-full-faithful
• cats-functor
• cats-monic-epic
• cats-product
• cats-skeleton