04/01/2022, 10:23 AM
Thank you for you explanations.
I gave it some time to sink but it's not enough to let me add something meaningful about it.
At the intuitive level I guess I'm close to understanding the idea, I'd be fully able to understand only If I'll manage to get the time to formalize set-theoretically your language (or even better, category-theoretically). Too bad I'm far from having the needed time atm.
I like this idea of the info dump threads. Just to spread some ideas in the case the situations of life makes impossible for us to polish or further pursue them. So there is a 1% chance they will not be lost forever.
Maybe I should do a couple of those fast info-dumps too because I can se clearly the possibility that I'll not be able to work on some ideas in the coming future, and maybe never again*, I hope not.
*I'm safe and in good health but lack of time and the upcoming times seem to be pretty dark economically and existentially here in the EU, and, I guess, In most of the comfty, sleepy, occidental world.
I gave it some time to sink but it's not enough to let me add something meaningful about it.
At the intuitive level I guess I'm close to understanding the idea, I'd be fully able to understand only If I'll manage to get the time to formalize set-theoretically your language (or even better, category-theoretically). Too bad I'm far from having the needed time atm.
I like this idea of the info dump threads. Just to spread some ideas in the case the situations of life makes impossible for us to polish or further pursue them. So there is a 1% chance they will not be lost forever.
Maybe I should do a couple of those fast info-dumps too because I can se clearly the possibility that I'll not be able to work on some ideas in the coming future, and maybe never again*, I hope not.
*I'm safe and in good health but lack of time and the upcoming times seem to be pretty dark economically and existentially here in the EU, and, I guess, In most of the comfty, sleepy, occidental world.
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)\)