12/16/2022, 10:55 PM
Oups.. I'm sorry. Tbh I shouldn't lose myself in this rabbit hole too. The foundations are not ready yet.
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)\)
