Referenced by:

• cats-adjunction
• cats-category-of-elements
• cats-category-theory
• cats-concrete-category
• cats-cone
• cats-constant-functor
• cats-endo-auto
• cats-equivalent
• cats-essentially-discrete
• cats-essentially-small
• cats-free-group-functor
• cats-full-faithful
• cats-functor-category
• cats-functor
• cats-groupoid
• cats-homomorphism
• cats-initial-terminal
• cats-isomorphism
• cats-limit
• cats-monic-epic
• cats-natural-transformation
• cats-opposite-category
• cats-product-category
• cats-product
• cats-representable
• cats-skeleton
• cats-slice-category
• cats-yoneda
• cats-zigzag