What does a coequalizer into in 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 into in the category of primitive recursive functions category (that which is a subcategory of Set)?
|
3 | Improved grammar | ||
|
|
||||
|
|
2 | Re-tagged, cleaned up grammar, title | ||
Coequalizer in the category of primitive recursive .functionsWhat does a coequalizer into de the primitive recursive functions category looks 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)?
|
||||
|
|
1 |
|
||
Coequalizer in primitive recursive.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)?
|
||||
