04/15/2022, 04:43 AM
Great, I find this really easy to follow, you did a great job. I just barely had time to read half of it and is already connecting all the dots in my brain. I hope to get some time very soon, I really need to share something vaguely related and have to do it asap... since I believe that I've something that that in your hands could give us the holy grail.
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)\)