06/30/2022, 11:32 PM
Quote:Then, why not make a zerated to the a equal a plus 3 halves as a compromise?
Because that doensn't make any sense.
I know that to someone who is not familiar with the material, all the disccussion about zeration sounds meaningless and arbitrary, but it isn't. I encourage you to read the literature about that. Rubtsov and Romerio gave great motivation and heuristics in their papers. There is also Cesco Reale's article, and many rich threads on this forum. Look for them. The keyword here is mother law.
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)\)