Referenced by:

• cats-category
• cats-natural-transformation
• cats-opposite-category
• cats-welcome
• homomorphism
• pullback-pushforward
• source-bcc
• uniformity