04/24/2021, 11:09 PM
Well done, it seems a long, hard but satisfying journey. I can't offer you technical comments yet. I don't think I'll be qualified to help reviewing the technical arguments because I'm very weak in analysis. What I can say is that I enjoy the pictures a lot and I can clearly see the effort you put into this and that I'm glad that some of my drawings did inspire you.If my comment seems poor, I'm sorry: here I can add an extra bonus comment on the commutative diagrams.
I don't want to be THAT annoying guy but.... Those are not exactly the kind of diagrams that the "algebraic guy" would expect or is familiar with. But as a good side, I already saw them in Robbin's FAQ looong ago and they look interesting. Oh btw. Before learning how to properly use diagrams, it took me 5 years, I used diagrams exactly in that way.
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)\)
