Timeline for Coequalizer in the category of primitive recursive functions
Current License: CC BY-SA 2.5
10 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jan 24, 2010 at 12:45 | vote | accept | Doctor Gibarian | ||
Jan 23, 2010 at 12:49 | comment | added | Doctor Gibarian | Take it easy, I'm a beginner in this webpage. I'll do it better next. Have a good day and thank you for the response to Joel David Hamkins. | |
Jan 23, 2010 at 7:40 | comment | added | Harry Gindi | @Ximo, you can't expect everyone here to know everything about every subfield of mathematics, and your response was really out of line. | |
Jan 23, 2010 at 5:04 | comment | added | Joel David Hamkins | Ximo, I like your question a lot. As I explain in my answer, it is attractively situated on the boundary between logic and category theory, and has a potential audience of talented people from these two areas who would benefit from greater interaction. I edited your question slightly (and re-tagged), but I think you could do more to make the category you refer to more clear. Click on "edit". Also, you can delete the comment that I think people understood negatively. Click on the 'x'. Your question has a pure universal algebra formulation: Is the smallest congruence of PR functions also PR? | |
Jan 23, 2010 at 3:36 | history | edited | Joel David Hamkins | CC BY-SA 2.5 |
Improved grammar
|
Jan 23, 2010 at 3:30 | history | edited | Joel David Hamkins | CC BY-SA 2.5 |
Re-tagged, cleaned up grammar, title
|
Jan 23, 2010 at 3:20 | answer | added | Joel David Hamkins | timeline score: 8 | |
Jan 22, 2010 at 21:27 | comment | added | Qiaochu Yuan | That kind of attitude isn't going to help you get your questions answered. When you use nonstandard or vague terminology the burden is upon you to make sure you are understood, not upon us to understand what you're trying to say. | |
Jan 22, 2010 at 20:10 | comment | added | Mike Shulman | What is "the primitive recursive functions category"? | |
Jan 22, 2010 at 19:17 | history | asked | Doctor Gibarian | CC BY-SA 2.5 |