Tensor-hom adjunction

In mathematics, the tensor-hom adjunction is that the tensor product and hom-functor form an adjoint pair: This is made more precise below. The order of terms in the phrase "tensor-hom adjunction" reflects their relationship: tensor is the left adjoint, while hom is the right adjoint. Say R and S are (possibly noncommutative) rings, and consider the right module categories (an analogous statement holds for left modules): Fix an -bimodule and define functors and as follows: Then is left adjoint to . This means there is a natural isomorphism This is actually an isomorphism of abelian groups. More precisely, if is an -bimodule and is a -bimodule, then this is an isomorphism of -bimodules. This is one of the motivating examples of the structure in a closed . Like all adjunctions, the tensor-hom adjunction can be described by its counit and unit natural transformations. Using the notation from the previous section, the counit has components given by evaluation: For The components of the unit are defined as follows: For in , is a right -module homomorphism given by The counit and unit equations can now be explicitly verified. For in , is given on simple tensors of by Likewise, For in , is a right -module homomorphism defined by and therefore The Hom functor commutes with arbitrary limits, while the tensor product functor commutes with arbitrary colimits that exist in their domain category. However, in general, fails to commute with colimits, and fails to commute with limits; this failure occurs even among finite limits or colimits. This failure to preserve short exact sequences motivates the definition of the Ext functor and the Tor functor.

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related concepts (5)

Related courses (4)

Related lectures (102)

Tensor-hom adjunction

Hom functor

In mathematics, specifically in , hom-sets (i.e. sets of morphisms between ) give rise to important functors to the . These functors are called hom-functors and have numerous applications in category theory and other branches of mathematics. Let C be a (i.e. a for which hom-classes are actually sets and not proper classes). For all objects A and B in C we define two functors to the as follows: {| class=wikitable |- ! Hom(A, –) : C → Set ! Hom(–, B) : C → Set |- | This is a covariant functor given by: Hom(A, –) maps each object X in C to the set of morphisms, Hom(A, X) Hom(A, –) maps each morphism f : X → Y to the function Hom(A, f) : Hom(A, X) → Hom(A, Y) given by for each g in Hom(A, X).

Tensor product of modules

In mathematics, the tensor product of modules is a construction that allows arguments about bilinear maps (e.g. multiplication) to be carried out in terms of linear maps. The module construction is analogous to the construction of the tensor product of vector spaces, but can be carried out for a pair of modules over a commutative ring resulting in a third module, and also for a pair of a right-module and a left-module over any ring, with result an abelian group.

MATH-436: Homotopical algebra

This course will provide an introduction to model category theory, which is an abstract framework for generalizing homotopy theory beyond topological spaces and continuous maps. We will study numerous

MATH-506: Topology IV.b - cohomology rings

Singular cohomology is defined by dualizing the singular chain complex for spaces. We will study its basic properties, see how it acquires a multiplicative structure and becomes a graded commutative a

MATH-211: Group Theory

Après une introduction à la théorie des catégories, nous appliquerons la théorie générale au cas particulier des groupes, ce qui nous permettra de bien mettre en perspective des notions telles que quo

Cross Product in Cohomology MATH-506: Topology IV.b - cohomology rings

Explores the cross product in cohomology, covering its properties and applications in homotopy.

Limits and colimits in Top MATH-436: Homotopical algebra

Covers the concepts of limits and colimits in the category of Topological Spaces, emphasizing the relationship between colimit and limit constructions and adjunctions.

Untitled MATH-436: Homotopical algebra