Search results
Results From The WOW.Com Content Network
Another example of a pullback comes from the theory of fiber bundles: given a bundle map π : E → B and a continuous map f : X → B, the pullback (formed in the category of topological spaces with continuous maps) X × B E is a fiber bundle over X called the pullback bundle. The associated commutative diagram is a morphism of fiber bundles.
This linear map is known as the pullback (by ), and is frequently denoted by . More generally, any covariant tensor field – in particular any differential form – on N {\displaystyle N} may be pulled back to M {\displaystyle M} using ϕ {\displaystyle \phi } .
The pullback bundle is an example that bridges the notion of a pullback as precomposition, and the notion of a pullback as a Cartesian square. In that example, the base space of a fiber bundle is pulled back, in the sense of precomposition, above. The fibers then travel along with the points in the base space at which they are anchored: the ...
The exterior derivative is natural in the technical sense: if f : M → N is a smooth map and Ω k is the contravariant smooth functor that assigns to each manifold the space of k-forms on the manifold, then the following diagram commutes so d( f ∗ ω) = f ∗ dω, where f ∗ denotes the pullback of f .
Because we can similarly interpret the diagram above as the commutative diagram, from properties of categories, we get a commutative diagram. giving a homotopy colimit. We could guess this looks like. but notice we have introduced a new cycle to fill in the new data of the composition.
In category theory, a branch of mathematics, a pushout (also called a fibered coproduct or fibered sum or cocartesian square or amalgamated sum) is the colimit of a diagram consisting of two morphisms f : Z → X and g : Z → Y with a common domain.
The limit of this diagram is called the J th power of X and denoted X J. Equalizers. If J is a category with two objects and two parallel morphisms from one object to the other, then a diagram of shape J is a pair of parallel morphisms in C. The limit L of such a diagram is called an equalizer of those morphisms. Kernels.
One can define the pullback of vector-valued forms by smooth maps just as for ordinary forms. The pullback of an E-valued form on N by a smooth map φ : M → N is an (φ*E)-valued form on M, where φ*E is the pullback bundle of E by φ. The formula is given just as in the ordinary case. For any E-valued p-form ω on N the pullback φ*ω is ...