05/27/2022, 12:17 AM
(05/26/2022, 11:46 PM)JmsNxn Wrote: Welcome to the wonderful world of advanced mathematics, Mphlee; where everyone calls everything something different, lol.
Hahah, I know, I'm perfectly used to it... that's why I need definitions.
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)\)
