06/16/2021, 09:43 AM
This is a good moment for that post! In the last weeks I want back to reading and studding basic stuff to make order in my brain. In fact I was asking recently on MSE also about a path non-abelian algebra/category so to formalize the integral as a functor. Three days ago I started a second complete read (skipping proof details) of your long paper after you were referencing the congruent integral. I'm at page 27 now, I'm surprised how much helpful your forum posts were to understand better your paper.
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)\)
