05/16/2014, 07:51 AM
I don't want to waste your time explaining me (I should go study the basis) but I don't get some substitutions. You put the value of f(x)=f as and f'(x)=df but what is d? And what is "int(-)"?
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)\)
