Timeline for Parametrized natural numbers object.
Current License: CC BY-SA 2.5
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 29, 2010 at 20:53 | comment | added | Doctor Gibarian | You are right about the definition using slice categories. About the other I would love to know how to import diagrams from Lyx to show the explanation given in "On recursive principles in cartesian categories" L.Román.The definition I gave for parameterized was certainly incorrect:I tried to mimic non parameterized case since I didn't know how to add diagrams and I failed in my formulation.In that paper there are several equivalent formulations for cartesian and cartesian closed.I'll try to bring them here.Thanks,Andrej,do you know everything? ;-) | |
| Dec 29, 2010 at 14:32 | comment | added | Andrej Bauer | Well, then of course you have to also change the diagrams accordingly. Anyhow, just think about how primitive recursion with parameters works. Also, I think parametrized NNO can be expressed in terms of it being a simple NNO in all slices. | |
| Dec 29, 2010 at 14:05 | comment | added | Doctor Gibarian | Mh...no, otherwise you had an extra variable with no sense. Am I correct? | |
| Dec 29, 2010 at 13:44 | comment | added | Andrej Bauer | In the definition of parameterized NNO I would expect $g : Y \times X \to Y$. Are you sure you got it right? | |
| Dec 29, 2010 at 13:41 | history | edited | Andrej Bauer | CC BY-SA 2.5 |
Fixed the diagrams, hopefully the way they were intended.
|
| Jan 20, 2010 at 5:39 | comment | added | Mike Shulman | Unfortunately, after all that, I have to say that I don't know the answer. I doubt it, but I don't have a counterexample offhand. | |
| Jan 19, 2010 at 17:02 | comment | added | François G. Dorais | Does the distinction between strong/weak nnos match the distinction between strong/weak initial objects? | |
| Jan 19, 2010 at 10:51 | history | answered | Doctor Gibarian | CC BY-SA 2.5 |