λ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 1257–1271

Back to manuscript

This is the IX-C actual-functional criterion IXC ({:descent}). It is not a topological quotient theorem.

Define the scalar relation space

Z_{rel} = (ker q_{L}) \otimes T \oplus T \otimes (ker q_{R}) .

After the natural ordering of its three test factors, let $α, β$ be its pairings with $u_{μ}^{ρ}, r$ .

Displayed formulas in this passage

unlabeled · line 1264
$Z_{rel} = (ker q_{L}) \otimes T \oplus T \otimes (ker q_{R}) .$

Nearby in this section