Referenced by:

• 43164054252597421077r
• 77539667438979025562r
• cats-category-of-elements
• cats-cone
• cats-constant-functor
• cats-equivalent
• cats-functor-category
• cats-representable
• cats-whiskering
• cats-yoneda
• delta-types
• equivalence
• ucb-catthy-02
• ucb-catthy-03
• ucb-catthy-04
• natural-transformations-in-set
• orders-as-graphs