Talk:Presheaf with transfers: Difference between revisions

Content deleted Content added

Inline

Revision as of 19:16, 15 March 2023

	Mathematics portal This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics
C	This article has been rated as C-class on Wikipedia's content assessment scale.
???	This article has not yet received a rating on the project's priority scale.

Typo

In the first paragraph of Presheaf with transfers § Finite correspondence, the projection that's supposed to be finite and surjective is not $W\to Y$ but $W\to X$ , 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.

Revision as of 19:06, 15 March 2023 edit Fourier-Deligne Transgirl (talk \| contribs) 87 edits →Typo ← Previous edit		Revision as of 19:16, 15 March 2023 edit undo Fourier-Deligne Transgirl (talk \| contribs) 87 edits →Typo Next edit →
Line 9:		Line 9:
	--[[User:Fourier-Deligne Transgirl\|Fourier-Deligne Transgirl]] ([[User talk:Fourier-Deligne Transgirl\|talk]]) 18:55, 15 March 2023 (UTC)		--[[User:Fourier-Deligne Transgirl\|Fourier-Deligne Transgirl]] ([[User talk:Fourier-Deligne Transgirl\|talk]]) 18:55, 15 March 2023 (UTC)

	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 ~~a morphism~~ in the motive category; though I'm not sure.		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.