01/19/2021, 01:22 AM
Mmh, I agree with your sentiment. Even if computation and category theory, constructive methods, are very very close actually... both are very far from me right now. Also, Analysis, don't kill me, is the art of approximating so it is no surprise that she's the first on the finish line doing computations and evaluations... the fact that to me most of it its black magic, while with algebra I have conceptual clarity over practical estimations.
Said that while I was preparing a question for you (and the Forum) about one of the protagonists of the story, i.e. the superfunction trick, I just went back to your composition integral paper. After my question I will be in position to go deeper on this but... but it struck me how many of those algebraic properties of the compositional integral are actually functorial properties...wow!
Said that while I was preparing a question for you (and the Forum) about one of the protagonists of the story, i.e. the superfunction trick, I just went back to your composition integral paper. After my question I will be in position to go deeper on this but... but it struck me how many of those algebraic properties of the compositional integral are actually functorial properties...wow!
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)\)