12/24/2022, 10:27 AM
Ai can do something maybe
https://www.quantamagazine.org/ai-reveal...-20221123/
https://www.quantamagazine.org/ai-reveal...-20221123/
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)\)
