05/26/2021, 11:55 PM
(05/26/2021, 11:36 PM)JmsNxn Wrote: Sounds interesting, Mphlee.
Just please don't tell me we're going to have to start using Lie Groups
Good news: I'm not going to..
Bad news: ..yet... I fear that it will be needed when I'll be ready to convert all o this from discrete to continuous. Lie groups=Groups+Topology... literally.
Good news: I won't be able to start using those anytime soon...
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)\)
