Tensor-hom adjunction

Tensor-hom adjunction

The tensor-hom adjunction; in computer science the analogous concept is called currying.

tatement

The functors - otimes X and operatorname{Hom}(X,-)form an adjoint pair::operatorname{Hom}(Y otimes X, Z) = operatorname{Hom}(Y,operatorname{Hom}(X,Z))

Nomenclature

The order "tensor-hom adjunction" is because tensor is the left adjoint, while hom is the right adjoint.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • Metric tensor — In the mathematical field of differential geometry, a metric tensor is a type of function defined on a manifold (such as a surface in space) which takes as input a pair of tangent vectors v and w and produces a real number (scalar) g(v,w) in a… …   Wikipedia

  • List of mathematics articles (T) — NOTOC T T duality T group T group (mathematics) T integration T norm T norm fuzzy logics T schema T square (fractal) T symmetry T table T theory T.C. Mits T1 space Table of bases Table of Clebsch Gordan coefficients Table of divisors Table of Lie …   Wikipedia

  • Adjoint functors — Adjunction redirects here. For the construction in field theory, see Adjunction (field theory). For the construction in topology, see Adjunction space. In mathematics, adjoint functors are pairs of functors which stand in a particular… …   Wikipedia

  • Smash product — In mathematics, the smash product of two pointed spaces (i.e. topological spaces with distinguished basepoints) X and Y is the quotient of the product space X times; Y under the identifications ( x , y 0) sim; ( x 0, y ) for all x isin; X and y… …   Wikipedia

  • Connection form — In mathematics, and specifically differential geometry, a connection form is a manner of organizing the data of a connection using the language of moving frames and differential forms. Historically, connection forms were introduced by Élie Cartan …   Wikipedia

  • Forgetful functor — In mathematics, in the area of category theory, a forgetful functor is a type of functor. The nomenclature is suggestive of such a functor s behaviour: given some object with structure as input, some or all of the object s structure or properties …   Wikipedia

  • Kähler differential — In mathematics, Kähler differentials provide an adaptation of differential forms to arbitrary commutative rings or schemes. Contents 1 Presentation 2 Construction 3 Use in algebraic geometry …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”