λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript IX-C-ST@1 · IX-C-ST.tex · section · 892f50c4

Descent, scalar tests, and coherence equations

Descent, scalar tests, and coherence equations · lines 1211–1230

Back to manuscript

All spans and tensor products below are algebraic over $C$ . Let

E_{L} = T \otimes T, E_{R} = T \otimes T

and define

p_{L} (f \otimes g) = B_{f} W_{g}, q_{L} (f \otimes g) = Q_{f, g},

p_{R} (g \otimes f^{'}) = W_{g} B_{f^{'}}, q_{R} (g \otimes f^{'}) = Q^{R}_{g, f^{'}} .

Displayed formulas in this passage

unlabeled · line 1217
$E_{L} = T \otimes T, E_{R} = T \otimes T$
unlabeled · line 1222
$p_{L} (f \otimes g) = B_{f} W_{g}, q_{L} (f \otimes g) = Q_{f, g},$
unlabeled · line 1226
$p_{R} (g \otimes f^{'}) = W_{g} B_{f^{'}}, q_{R} (g \otimes f^{'}) = Q^{R}_{g, f^{'}} .$

Nearby in this section