curry and uncurry for bifunctors
coequalizers (defined, and in Set)
coends defined, and better (?) proofs for ends
Set has all coends