Referenced by:

• cats-monic-epic
• cats-natural-transformation
• cats-skeleton
• groups-grp
• ucb-settheory-09
• topology-continuity