Search results
Results from the WOW.Com Content Network
In mathematics, specifically in algebraic topology and algebraic geometry, an inverse image functor is a contravariant construction of sheaves; here “contravariant” in the sense given a map :, the inverse image functor is a functor from the category of sheaves on Y to the category of sheaves on X.
If f(x)=y, then g(y)=x. The function g must equal the inverse of f on the image of f, but may take any values for elements of Y not in the image. A function f with nonempty domain is injective if and only if it has a left inverse. [21] An elementary proof runs as follows: If g is the left inverse of f, and f(x) = f(y), then g(f(x)) = g(f(y ...
Similarly, the inverse image (or preimage) of a given subset of the codomain is the set of all elements of that map to a member of . The image of the function f {\displaystyle f} is the set of all output values it may produce, that is, the image of X {\displaystyle X} .
On the other hand, the inverse image or preimage under f of an element y of the codomain Y is the set of all elements of the domain X whose images under f equal y. [6] In symbols, the preimage of y is denoted by f − 1 ( y ) {\displaystyle f^{-1}(y)} and is given by the equation
A co-fibred-category is an -category such that direct image exists for each morphism in and that the composition of direct images is a direct image. A co-cleavage and a co-splitting are defined similarly, corresponding to direct image functors instead of inverse image functors.
Given two sets X and Y, a binary relation f between X and Y is a function (from X to Y) if for every element x in X there is exactly one y in Y such that f relates x to y. The sets X and Y are called the domain and codomain of f, respectively. The image of the function f is the subset of Y consisting of only those elements y of Y such that ...
direct image with compact support f! : Sh(X) → Sh(Y) exceptional inverse image Rf! : D(Sh(Y)) → D(Sh(X)). The exclamation mark is often pronounced "shriek" (slang for exclamation mark), and the maps called "f shriek" or "f lower shriek" and "f upper shriek"—see also shriek map. The exceptional inverse image is in general defined on the ...
Let f: X → Y be a continuous map of topological spaces or a morphism of schemes. Then the exceptional inverse image is a functor Rf!: D(Y) → D(X) where D(–) denotes the derived category of sheaves of abelian groups or modules over a fixed ring. It is defined to be the right adjoint of the total derived functor Rf! of the direct image with ...