Referenced by:

• abstraction-group
• cats-category-of-elements
• cats-cone
• cats-constant-functor
• cats-equivalent
• cats-functor-category
• cats-functor
• cats-representable
• cats-whiskering
• cats-yoneda
• delta-types
• equivalence
• ucb-catthy-02
• ucb-catthy-03
• ucb-catthy-04
• ucb-catthy-07
• lecture-on-hask
• natural-transformations-in-set
• orders-as-graphs