ScalingStacks

0P1Y

Remark 4.3. Let 𝒞¯=colim⁡𝒞\bar{{\mathcal{C}}}=\operatorname{colim}\nolimits{\mathcal{C}} and assume there are endofunctors T±T_{\pm} of 𝒞¯\bar{{\mathcal{C}}} which restrict to TS,s,±T_{S,s,\pm} for any SS and s∈Ss\in S. Replacing 𝒞(W,S){\mathcal{C}}_{(W,S)} by 𝒞¯\bar{{\mathcal{C}}}, one can construct from a Markov 22-trace another one taking value in the constant category 𝒞¯\bar{{\mathcal{C}}}, and with fixed endofunctors T±T_{\pm}.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Raphaël Rouquier

Original source: arXiv:1203.5065v1