(01/25/2021, 01:19 AM)JmsNxn Wrote: \(
\int_b^c f(s,z)\,ds\circ \int_a^b f(s,z) ds\circ z = \int_a^c f(s,z)\,ds\circ z\\
\)
So, if I get it, this kind of interpretations problems arise often in category theory (when u have to compose lot of weird stuff).
Let's test my understanding: If I get this right the following should make sense for you as well
\(
\int_b^c f(s,-)\,ds\circ \int_a^b f(s,-) ds = \int_a^c f(s,-)\,ds\\
\)
That is the same practical reason, let's ignore the historical one, of the use of [tex]ds[\tex] to specify the variable you are integrating over.
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)\)