I actually have powers to edit post, but I'm not gonna do it, and for two good reasons: it is outside my mandate, the reason bo gave me them, secondly... I fear that I'll go back adding latex to every single Tommy's post xd wasting the rest of my life on it just to satisfy my obsession hahah.
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)\)
