Remark 4.3. Let and assume there are endofunctors of which restrict to for any and . Replacing by , one can construct from a Markov -trace another one taking value in the constant category , and with fixed endofunctors .
Original source: arXiv:1203.5065v1