Referenced by:

• cats-adjunction
• cats-endo-auto
• cats-equivalent
• cats-full-faithful
• cats-functor
• cats-homomorphism
• cats-initial-terminal
• cats-limit
• cats-monic-epic
• cats-natural-transformation
• cats-product
• cats-skeleton
• cats-zigzag