What does a coequalizer into de primitive recursive functions category looks 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)?