06/30/2022, 11:47 PM
Again, because that doesn't make any sense. If you do that you are imposing the failure of both the laws, something that, per se, is a folish move if you don't come up with a better law. And the purpose of the laws is to add constraints to the functional equations in order to fully determine solutions to of hyperoperations where the zeroth-rank is a total function. Again, you need to read more literature and put some effort.
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)\)