Skip to main content
Improved grammar
Source Link
Joel David Hamkins
  • 236.3k
  • 44
  • 777
  • 1.4k

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)?

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)?

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

Re-tagged, cleaned up grammar, title
Source Link
Joel David Hamkins
  • 236.3k
  • 44
  • 777
  • 1.4k

Coequalizer in the category of primitive recursive. functions

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

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)?

Coequalizer in the category of primitive recursive functions

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)?

Source Link

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)?