Talk:Presheaf with transfers

Latest comment: 1 year ago by TakuyaMurata in topic Typo

Typo

edit

In the first paragraph of Presheaf with transfers § Finite correspondence, the projection that's supposed to be finite and surjective is not   but  , as the finite correspondences are supposed to be thought as finitely multi-valued functions, not functions with finite fibers, cf. Lecture 1 of Mazza-Voevodsky-Weibel.

--Fourier-Deligne Transgirl (talk) 18:55, 15 March 2023 (UTC)Reply

P.S. For the motivation of presheaf with transfers, I think (from reading MO) it's to accommodate (fully faithfully embed) the test space category with finite correspondences, which in turn is about ensuring say that Gysin maps in realization come from morphisms in the motive category; though I'm not sure.

I agree it should be a typo; X not Y. I have made a correction with a reference. —- Taku (talk) 09:09, 16 March 2023 (UTC)Reply