12/21/2022, 06:24 PM
Your notations destroy my brain cells... every line is killing 50/100 neurons. Idk how you do, it seems like your brain works without definitions ... damn.
Anyways... it is interesting that your operators satisfy the, let's call it like that "equivariant Goodstein condition".
Maybe we could fine tune that as a new property to ask for our iteration methods... maybe its a first step of an ascending sequence finer, algebraically motivated, conditions that at the end will give us natural constructions.
Anyways... it is interesting that your operators satisfy the, let's call it like that "equivariant Goodstein condition".
Maybe we could fine tune that as a new property to ask for our iteration methods... maybe its a first step of an ascending sequence finer, algebraically motivated, conditions that at the end will give us natural constructions.
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)\)