05/11/2021, 08:41 PM
Quote:This stuff always hurt my head though, so I never bothered to go deep into it. But I believe it would work as such.
My head is not hurting less xD
Anyways, this deserves some study. I'll put it on my infinite to-do list.
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)\)
