06/21/2022, 07:58 PM
Excuse me Leo. My posts are full of typos and inaccuracies, but I claim the ideas are correct. When I get some time I'll go back fixing the formulae.
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)\)
