Search results
Results from the Health.Zone Content Network
Pullback (differential geometry) Let be a smooth map between smooth manifolds and . Then there is an associated linear map from the space of 1-forms on (the linear space of sections of the cotangent bundle) to the space of 1-forms on . This linear map is known as the pullback (by ), and is frequently denoted by .
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 ...
Pullback (category theory) In category theory, a branch of mathematics, a pullback (also called a fiber product, fibre product, fibered product or Cartesian square) is the limit of a diagram consisting of two morphisms f : X → Z and g : Y → Z with a common codomain. The pullback is written.
A homotopy pullback (or homotopy fiber-product) is the dual concept of a homotopy pushout. It satisfies the universal property of a pullback up to homotopy. [ citation needed ] Concretely, given f : X → Z {\displaystyle f:X\to Z} and g : Y → Z {\displaystyle g:Y\to Z} , it can be constructed as
Limit (category theory) In category theory, a branch of mathematics, the abstract notion of a limit captures the essential properties of universal constructions such as products, pullbacks and inverse limits. The dual notion of a colimit generalizes constructions such as disjoint unions, direct sums, coproducts, pushouts and direct limits.
Pushout (category theory) 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.
Jet bundle. In differential topology, the jet bundle is a certain construction that makes a new smooth fiber bundle out of a given smooth fiber bundle. It makes it possible to write differential equations on sections of a fiber bundle in an invariant form. Jets may also be seen as the coordinate free versions of Taylor expansions.
The method of moving frames of Élie Cartan is based on taking a moving frame that is adapted to the particular problem being studied. For example, given a curve in space, the first three derivative vectors of the curve can in general define a frame at a point of it (cf. torsion tensor for a quantitative description – it is assumed here that ...