04/08/2022, 11:45 AM
Damn, I'm really too busy rn. Can't keep up with this amount of info. I hope I can put some time in during the upcoming Easter holidays. I was divided between studying this post or writing something to share... but damn... 24 hours are not enough for this.
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)\)
