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