07/01/2022, 12:13 AM
Quote:Weird looking.
Hey, I'll show you that is very natural as a construction, and it is something very general relating extensions on iterations and the glueing of iterations. I'm preparing a post explaining all that business from zero to hero.
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)\)