What does a coequalizer intoin the category of primitive recursive functions category look like? I know that in Set, a coequalizer is a minimum congruence but...what is it in particular intoin the category of primitive recursive functions category (thatwhich is a subcategory of Set)?