[tikz]\draw (0,0) circle (1in);[/tikz]
[tikz]A\arrow[r, "a"]&B\\ [/tikz]
\[a+b\]
[tikz]A\arrow[r, "a"]&B\\ [/tikz]
\[a+b\]
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)\)