Referenced by:

• cats-category-theory
• cats-category
• cats-functor
• cats-initial-terminal
• cats-monic-epic
• le-rx-P24MuQSyvm
• units-of-a-ring