01/13/2021, 12:22 AM
I'm glad to see you are completing a circle. I followed you during this time at ArXiv, reading your stuff. The turn on Iterated composition was a pleasure, and I'd expected it in some way.
I'm doing well, finally I could start university, but I was not very lucky, covid came... so I'm sure that on the math side you did for sure better than me.
I did indeed find cool things. My attack on the subject went way more algebraic-abstract than ever, and far than ever I hope (Spoiler alert: yep, recursions are functors, h.ops are functors and flows are probably Kan-extensions). I like to excuse myself saying that I'm more of a theory-builder than a Problem-cracker mathematician. At the end I'm not even a mathematician... so idc...
That's also an excuse for not being that good at analysis (or the cause?
)... but said that, I find very interesting what I can understand of your paper... If I ever come up with some doubt I might write here!
Good luck with life and wish you the best.
I'm doing well, finally I could start university, but I was not very lucky, covid came... so I'm sure that on the math side you did for sure better than me.
I did indeed find cool things. My attack on the subject went way more algebraic-abstract than ever, and far than ever I hope (Spoiler alert: yep, recursions are functors, h.ops are functors and flows are probably Kan-extensions). I like to excuse myself saying that I'm more of a theory-builder than a Problem-cracker mathematician. At the end I'm not even a mathematician... so idc...
That's also an excuse for not being that good at analysis (or the cause?
)... but said that, I find very interesting what I can understand of your paper... If I ever come up with some doubt I might write here!Good luck with life and wish you the best.
Mother Law \(\sigma^+\circ 0=\sigma \circ \sigma^+ \)
\({\rm Grp}_{\rm pt} ({\rm RK}J,G)\cong \mathbb N{\rm Set}_{\rm pt} (J, \Sigma^G)\)