Jump to content

Talk:Presheaf with transfers

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

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]