06/15/2022, 11:07 PM
When I've time I'll give a try.
I'm thinking about defining th whole sequences of etas and eulers as a function from ranks into something, atm idk what, that satisfies by definition the characterization given on the wiki.
I'm thinking about defining th whole sequences of etas and eulers as a function from ranks into something, atm idk what, that satisfies by definition the characterization given on the wiki.
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)\)
