algebraic geometry, a presheaf with transfers is, roughly, a presheaf that, like cohomology theory, comes with pushforwards, “transfer” maps. Precisely, it...

In category theory, a branch of mathematics, a presheaf on a category C {\displaystyle C} is a functor F : C o p → S e t {\displaystyle F\colon C^{\mathrm...

also play an important role in the construction of motives (cf. presheaf with transfers). Adequate equivalence relation Fulton, William (1998), Intersection...

future" (video). youtube.com. International Mathematical Union. Presheaf with transfers A¹ homotopy theory Huber, Annette; Müller-Stach, Stefan (2011)...

algebraic K-theory, A¹ homotopy theory and the theory of motives. Presheaf with transfers Mixed motives (math) A¹ homotopy theory Henselian ring Antieau...

accurately, its Lie algebra.) Ring of periods Motivic cohomology Presheaf with transfers Mixed Hodge module L-functions of motives Beilinson, Alexander;...

all of whose operations are unary is called a presheaf. Every class of presheaves contains a presheaf Ω that plays the role for subalgebras that 2 plays...

by a continuous map between topological spaces; sheafification of the presheaf associating to an open set U the inductive limit of the groups associated...

category of groups, such that composition with the forgetful functor to sets is equivalent to the presheaf corresponding to G under the Yoneda embedding...

The universal and existential quantifiers given above generalize to the presheaf category. Existential quantification First-order logic List of logic symbols—for...

hold with perfection replaced by semi-normalisation. Huber-Jörder study the h-sheafification Ω h n {\displaystyle \Omega _{h}^{n}} of the presheaf X ↦...

well behaved topological spaces. A simplicial set can also be seen as a presheaf on the simplex category. A category is a simplicial set such that the Segal...

computer realization. Presheaf models for constructive set theories have also been introduced. These are analogous to presheaf models for intuitionistic...

{\operatorname {Hom} }}(x,y)} is a presheaf on the slice category C / U {\displaystyle C_{/U}} , the category of all morphisms in C with target U. By definition...