Hi all, i'm lookoing at page 13 of the paper: K theory and TC of Henselian pair, https://webusers.imj-prg.fr/~matthew.morrow/Clausen,%20Mathew,%20Morrow,%20K-theory%20and%20TC%20of%20Henselian%20pairs.pdf, by Clausen, Mathew, Morrow.
I'm confused how the inductive step works in showing that TC^r(X;p) commutes with all colimits in the second to last paragraph.
All I could understand is that the base cae when r=1 (i.e. forgetful functor commtues). There seems to be an F map which comes into play and not addressed in equatioin (3).
I'm confused how the inductive step works in showing that TC^r(X;p) commutes with all colimits in the second to last paragraph.
All I could understand is that the base cae when r=1 (i.e. forgetful functor commtues). There seems to be an F map which comes into play and not addressed in equatioin (3).