Referenced by:

• cats-adjunction
• cats-category-theory
• cats-category
• cats-functor
• cats-monic-epic
• cats-representable
• delta-types
• groups-grp
• ucb-catthy-01
• homomorphism
• math-what-wasnt-taught
• seven-sketches