The category of effective -motives with functor $WM\colon Sm_k\to DWM^-(k)kchar k\neq 2$ is constructed. In the construction Voevodsky-Suslin method is applyed to a category of -correspondence between affine smooth varieties that morphisms are defined by class in -group of quadratic space with being -module finitely generated projective over and being -liner isomorphism. And the natural isomorphism for any smooth affine and homotopy invariant Nisnevich sheave with -transfers (that is presheave on the category such that its restriction on the category is a sheave) is proved.

生成讲解博客的中文版本

生成AI智能校验的中文版本