Example 7.54.
The six-functor formalism \(D\) on \(\AnRing\catop\) constructed above satisfies Künneth; see [Scholze 2026, Lecture IX].
References
- Peter Scholze. Geometry and Higher Category Theory. 2026.
Example 7.54.
The six-functor formalism \(D\) on \(\AnRing\catop\) constructed above satisfies Künneth; see [Scholze 2026, Lecture IX].