03/13/2014, 08:42 AM
Thanks!, I'll think more about it. I'll ask you if I don't get something. 

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)\)
