Lemma 45.3.8. The tensor product of correspondences defined above turns the category of correspondences into a symmetric monoidal category with unit \mathop{\mathrm{Spec}}(k).
Proof. Omitted. \square
Lemma 45.3.8. The tensor product of correspondences defined above turns the category of correspondences into a symmetric monoidal category with unit \mathop{\mathrm{Spec}}(k).
Proof. Omitted. \square
Comments (0)