• For each morphism $f\colon B'\to B$ of $\mathcal{D}$, we have
    \[ \webleft [\webleft (A_{B},s_{B'},f\circ r_{B'}\webright )\webright ]=\webleft [\webleft (A_{B},s_{B}\circ f,r_{B}\webright )\webright ] \]

    in $\int ^{A\in \mathcal{C}}h^{B'}_{F_{A}}\times h^{F_{A}}_{B}$.


Noticed something off, or have any comments? Feel free to reach out!


You can also use the contact form below: