algebraic geometry, a presheaf with transfers is, roughly, a presheaf that, like cohomology theory, comes with pushforwards, “transfer” maps. Precisely, it...
14 KB (2,676 words) - 07:17, 5 May 2024
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...
7 KB (1,119 words) - 19:10, 4 March 2024
also play an important role in the construction of motives (cf. presheaf with transfers). Adequate equivalence relation Fulton, William (1998), Intersection...
2 KB (293 words) - 16:11, 20 March 2022
Motivic cohomology (category Articles with short description)
future" (video). youtube.com. International Mathematical Union. Presheaf with transfers A¹ homotopy theory Huber, Annette; Müller-Stach, Stefan (2011)...
16 KB (2,285 words) - 19:58, 29 December 2023
Nisnevich topology (category Articles with short description)
algebraic K-theory, A¹ homotopy theory and the theory of motives. Presheaf with transfers Mixed motives (math) A¹ homotopy theory Henselian ring Antieau...
12 KB (1,767 words) - 20:50, 27 March 2024
Motive (algebraic geometry) (category Articles with short description)
accurately, its Lie algebra.) Ring of periods Motivic cohomology Presheaf with transfers Mixed Hodge module L-functions of motives Beilinson, Alexander;...
33 KB (4,920 words) - 14:54, 23 June 2024
Power set (category Articles with short description)
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...
20 KB (2,425 words) - 23:34, 3 April 2024
by a continuous map between topological spaces; sheafification of the presheaf associating to an open set U the inductive limit of the groups associated...
3 KB (483 words) - 10:31, 29 April 2022
Group scheme (category Articles with J9U identifiers)
category of groups, such that composition with the forgetful functor to sets is equivalent to the presheaf corresponding to G under the Yoneda embedding...
20 KB (2,860 words) - 07:46, 11 February 2024
Universal quantification (category Articles with short description)
The universal and existential quantifiers given above generalize to the presheaf category. Existential quantification First-order logic List of logic symbols—for...
15 KB (2,492 words) - 11:25, 31 July 2024
Timeline of category theory and related mathematics (category Articles with short description)
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...
87 KB (273 words) - 03:07, 23 August 2024
hold with perfection replaced by semi-normalisation. Huber-Jörder study the h-sheafification Ω h n {\displaystyle \Omega _{h}^{n}} of the presheaf X ↦...
10 KB (1,870 words) - 07:55, 25 June 2024
Constructive set theory (category Articles with short description)
computer realization. Presheaf models for constructive set theories have also been introduced. These are analogous to presheaf models for intuitionistic...
211 KB (34,977 words) - 22:39, 18 August 2024
Prestack (category Articles with short description)
{\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...
22 KB (4,266 words) - 01:29, 26 June 2024