nLab
Sandbox


DK:DK(V )×DK(W )=U(Γ(V ))×U(Γ(W ))U(Γ(V )×Γ(W ))U(p)U(Γ(V )Γ(W ))U(γ)U(Γ(V W ))U(Γ(f))U(Γ(Z ))=DK(Z ). \cup_{DK} \;\colon\; DK(V_\bullet)\times DK(W_\bullet) = U(\Gamma(V_\bullet)) \times U(\Gamma(W_\bullet)) \stackrel{\simeq}{\to} U(\Gamma(V_\bullet) \times \Gamma(W_\bullet)) \stackrel{U(p)}{\to} U(\Gamma(V_\bullet)\otimes \Gamma(W_\bullet)) \stackrel{U(\gamma)}{\longrightarrow} U(\Gamma(V_\bullet \otimes W_\bullet)) \stackrel{U(\Gamma(f))}{\to} U(\Gamma(Z_\bullet)) = DK(Z_\bullet) \,.


Last revised on December 5, 2018 at 16:53:13. See the history of this page for a list of all contributions to it.