Referenced by:

• cats-adjunction
• cats-functor