Definition 7.53.
We say that \(D\) satisfies Künneth if, for all \(X,Y\in C\), the canonical tensor comparison
\[D(X)\otimes_{D(*)}D(Y)\longrightarrow D(X\times Y)\]
is an isomorphism.
Definition 7.53.
We say that \(D\) satisfies Künneth if, for all \(X,Y\in C\), the canonical tensor comparison
is an isomorphism.