Referenced by:

• cats-category-theory
• cats-category
• cats-functor
• cycle-decomposition
• group-direct-product
• ucb-metamathematics-b-04
• 04
• 07
• 09
• 12
• vague-notes
• logic-ultraproduct
• monoid-isomorphism
• monoids-n-ways
• multiplicative-groups-of-integers
• seven-sketches
• parametricity
• permutation-parity
• permutation
• sets-axiom-of-choice
• sets-zfc