wow, I had this idea at least 3 years ago but then I worked on other stuff and completely forgot it! I happy that this idea come up again.
Btw Marraco, have you checked this related threads at Tetrationforum?
Distibutive property (on Bennet Hyperoperations, homomorphic defined operations and Tommy's distributive property)
http://math.eretrandre.org/tetrationforu...hp?tid=520
Zeration=Inconsistent (on Zeration from Godstein classical successor to Rubtsov-Romerio's preadditive paradigm)
http://math.eretrandre.org/tetrationforu...hp?tid=926
PS: you can use "\ominus"\( a \ominus b=... \)
Btw Marraco, have you checked this related threads at Tetrationforum?
Distibutive property (on Bennet Hyperoperations, homomorphic defined operations and Tommy's distributive property)
http://math.eretrandre.org/tetrationforu...hp?tid=520
Zeration=Inconsistent (on Zeration from Godstein classical successor to Rubtsov-Romerio's preadditive paradigm)
http://math.eretrandre.org/tetrationforu...hp?tid=926
PS: you can use "\ominus"\( a \ominus b=... \)
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)\)