Fact-checked by Grok 2 weeks ago

Hom functor

In category theory, the Hom functor (also denoted as \operatorname{Hom}) is a fundamental bifunctor that, for a locally small category \mathcal{C}, maps the product category \mathcal{C}^{\mathrm{op}} \times \mathcal{C} to the category of sets \mathbf{Set}, assigning to each ordered pair of objects (A, B) the set \operatorname{Hom}_{\mathcal{C}}(A, B) consisting of all morphisms from A to B, while mapping pairs of morphisms to functions induced by composition. This construction, which reverses the direction in the first argument (contravariant) and preserves it in the second (covariant), was introduced by Samuel Eilenberg and Saunders Mac Lane in their seminal 1945 paper as part of the foundational framework for categories, functors, and natural transformations, initially exemplified in the context of abelian groups and topological spaces where \operatorname{Hom}(G, H) denotes the set of group homomorphisms. For a fixed object A in \mathcal{C}, the covariant Hom functor \operatorname{Hom}(A, -) : \mathcal{C} \to \mathbf{Set} sends each object B to \operatorname{Hom}_{\mathcal{C}}(A, B) and each morphism f : B \to C to the post-composition map \operatorname{Hom}(A, f) : \operatorname{Hom}_{\mathcal{C}}(A, B) \to \operatorname{Hom}_{\mathcal{C}}(A, C) defined by g \mapsto f \circ g. Dually, for fixed B, the contravariant Hom functor \operatorname{Hom}(-, B) : \mathcal{C}^{\mathrm{op}} \to \mathbf{Set} sends A to \operatorname{Hom}_{\mathcal{C}}(A, B) and a morphism h : A' \to A to the pre-composition map \operatorname{Hom}(h, B) : \operatorname{Hom}_{\mathcal{C}}(A, B) \to \operatorname{Hom}_{\mathcal{C}}(A', B) given by g \mapsto g \circ h. These functors are representable, meaning \operatorname{Hom}(A, -) is naturally isomorphic to any functor naturally isomorphic to it, a principle encapsulated by the , which states that the set of natural transformations \operatorname{Nat}(\operatorname{Hom}(A, -), F) \cong F(A) for any functor F : \mathcal{C} \to \mathbf{Set}, highlighting how Hom functors encode the structure of objects via their morphism sets. Key properties of the Hom functor include its continuity: the covariant \operatorname{Hom}(A, -) preserves all limits that exist in \mathcal{C}, while the contravariant \operatorname{Hom}(-, B) preserves all colimits, making it essential for studying exactness, adjointness, and universal properties in categories like modules or topological spaces. In algebraic contexts, such as the category of abelian groups, \operatorname{Hom}(G, H) often carries additional structure, like forming an abelian group under pointwise addition, and the functoriality ensures naturality of isomorphisms, such as those between Hom sets and dual spaces in vector categories. The Hom functor's role extends to higher category theory, internal Hom in enriched categories, and applications in homotopy theory, where it underpins representability and the Yoneda embedding of \mathcal{C} into the functor category [\mathcal{C}^{\mathrm{op}}, \mathbf{Set}].

Definition

Covariant Hom Functor

In a locally small category \mathcal{C}, the covariant Hom functor \Hom_{\mathcal{C}}(A, -) is defined for a fixed object A \in \mathcal{C} as a functor \Hom_{\mathcal{C}}(A, -) \colon \mathcal{C} \to \mathbf{Set} that assigns to each object X \in \mathcal{C} the set \Hom_{\mathcal{C}}(A, X) consisting of all morphisms from A to X. On morphisms, for any f \colon X \to Y in \mathcal{C}, the functor induces a map \Hom_{\mathcal{C}}(A, f) \colon \Hom_{\mathcal{C}}(A, X) \to \Hom_{\mathcal{C}}(A, Y) given by post-composition: it sends each g \colon A \to X to f \circ g \colon A \to Y. The assumption that \mathcal{C} is locally small ensures that each \Hom_{\mathcal{C}}(A, X) is a genuine set, rather than a proper class, allowing the functor to target the category \mathbf{Set}. This construction defines a functor because it preserves identities and composition: for the identity morphism \id_X \colon X \to X, we have \Hom_{\mathcal{C}}(A, \id_X)(g) = \id_X \circ g = g; and for composable morphisms f \colon X \to Y and h \colon Y \to Z, \Hom_{\mathcal{C}}(A, h \circ f)(g) = (h \circ f) \circ g = h \circ (f \circ g) = \Hom_{\mathcal{C}}(A, h)(\Hom_{\mathcal{C}}(A, f)(g)). The contravariant Hom functor \Hom_{\mathcal{C}}(-, B) arises dually by fixing the codomain.

Contravariant Hom Functor

In category theory, for a locally small category \mathcal{C} and a fixed object B \in \mathcal{C}, the contravariant Hom functor \Hom_{\mathcal{C}}(-, B): \mathcal{C}^{\mathrm{op}} \to \mathbf{Set} assigns to each object X \in \mathcal{C} the set \Hom_{\mathcal{C}}(X, B) of all morphisms from X to B. This construction captures the morphisms into B as a representable structure, dual to the covariant Hom functor \Hom_{\mathcal{C}}(A, -) that fixes the domain instead. The action on morphisms preserves the functorial structure while reversing directions due to the involvement of \mathcal{C}^{\mathrm{op}}. Specifically, for a morphism h: X \to Y in \mathcal{C} (corresponding to h^{\mathrm{op}}: Y \to X in \mathcal{C}^{\mathrm{op}}), the induced map \Hom_{\mathcal{C}}(-, B)(h^{\mathrm{op}}): \Hom_{\mathcal{C}}(Y, B) \to \Hom_{\mathcal{C}}(X, B) is given by precomposition: it sends any g: Y \to B to g \circ h. This precomposition ensures that identities map to identities and composition is preserved in the contravariant sense, as (g \circ h') \circ h = g \circ (h' \circ h) for composable s. Equivalently, \Hom_{\mathcal{C}}(-, B) can be viewed as a covariant functor from \mathcal{C} to \mathbf{Set}^{\mathrm{op}}, where \mathbf{Set}^{\mathrm{op}} has the same objects as \mathbf{Set} but reversed arrows, explicitly reversing the direction of all induced maps on hom-sets. This perspective highlights the duality inherent in contravariant functors, aligning with the general equivalence between functors \mathcal{C} \to \mathbf{Set}^{\mathrm{op}} and \mathcal{C}^{\mathrm{op}} \to \mathbf{Set}. Intuitively, the contravariant nature of \Hom_{\mathcal{C}}(-, B) transforms colimits in \mathcal{C} into limits in \mathbf{Set}; for instance, the hom-set from a colimit object to B corresponds to the limit over the diagram of hom-sets from the diagram's objects to B, reflecting the reversal of universal constructions.

Hom as a Bifunctor

In category theory, the Hom construction extends the individual covariant and contravariant Hom functors into a bifunctor \Hom_C(-,-): \C^{\op} \times \C \to \Set, where \C is a category and \Set is the category of sets. This bifunctor assigns to each ordered pair of objects (A, B) in \C^{\op} \times \C the set \Hom_C(A, B) of all morphisms from A to B in \C. The action of this bifunctor on morphisms is defined as follows. A morphism in the product category \C^{\op} \times \C consists of a pair (\alpha, \beta), where \alpha: A' \to A is a morphism in \C (corresponding to a morphism A \to A' in \C^{\op}) and \beta: B \to B' is a morphism in \C. This pair induces a function \Hom_C(A, B) \to \Hom_C(A', B') given by postcomposing with \beta and precomposing with \alpha: for any \phi \in \Hom_C(A, B), \phi \mapsto \beta \circ \phi \circ \alpha. This mapping preserves the structure of the sets of morphisms by ensuring that the result is indeed a morphism from A' to B', as the domain of \beta \circ \phi \circ \alpha is A' and the codomain is B'. To verify bifunctoriality, the assignment must respect identities and composition in \C^{\op} \times \C. For the identity pair (\id_A, \id_B), the induced map sends \phi \mapsto \id_B \circ \phi \circ \id_A = \phi, yielding the identity function on \Hom_C(A, B). For composable pairs (\alpha', \beta'): (A', B') \to (A'', B'') and (\alpha, \beta): (A, B) \to (A', B'), their composition is (\alpha \circ \alpha', \beta' \circ \beta): (A, B) \to (A'', B''). The induced map for this composition sends \phi \mapsto (\beta' \circ \beta) \circ \phi \circ (\alpha \circ \alpha'). Applying the maps sequentially gives the same result: starting with \phi, the first map yields \beta \circ \phi \circ \alpha, and the second yields \beta' \circ (\beta \circ \phi \circ \alpha) \circ \alpha' = \beta' \circ \beta \circ \phi \circ \alpha \circ \alpha', confirming compatibility with composition. This structure demonstrates that the actions on the first and second components operate independently yet compatibly: the first component induces the contravariant action via precomposition, while the second induces the covariant action via postcomposition, together forming a cohesive bifunctor from the .

Basic Properties

Representable Functors

In , a functor F: \mathcal{C} \to \mathbf{Set} from a category \mathcal{C} to the category of sets is called representable (or left representable) if there exists an object A in \mathcal{C} such that F is naturally isomorphic to the covariant Hom functor \Hom_{\mathcal{C}}(A, -), which sends each object X in \mathcal{C} to the set of morphisms \Hom_{\mathcal{C}}(A, X). Dually, a contravariant functor G: \mathcal{C}^{\mathrm{op}} \to \mathbf{Set} is representable (or right representable) if it is naturally isomorphic to \Hom_{\mathcal{C}}(-, B) for some object B in \mathcal{C}, where \Hom_{\mathcal{C}}(-, B) assigns to each X the set \Hom_{\mathcal{C}}(X, B). This notion captures functors that can be "represented" by a single object in the category, providing a concrete model for their action on objects and morphisms. The representing object A for a representable functor F \cong \Hom_{\mathcal{C}}(A, -) satisfies a universal property: the natural isomorphism identifies elements of F(X) with morphisms from A to X, such that the identity morphism \id_A in \Hom_{\mathcal{C}}(A, A) corresponds to a distinguished "universal element" in F(A), which generates all other elements via postcomposition with morphisms from A. This universal arrow ensures that any other functor with a natural transformation to F factors uniquely through the representing object, embodying the essence of representability as a form of universality in the functor category. The assignment of objects A in \mathcal{C} to their associated Hom functors defines the , a functor y: \mathcal{C} \to [\mathcal{C}^{\mathrm{op}}, \mathbf{Set}] given by y(A) = \Hom_{\mathcal{C}}(A, -), which is full and faithful, embedding \mathcal{C} densely into the category of presheaves on \mathcal{C}. This embedding highlights how representable functors form a core subclass within the larger category of all s to sets, with the full faithfulness arising as a consequence of the . A basic example occurs in the category \mathbf{Set} of sets, where the singleton set $1 = \{ * \} represents the identity (or forgetful) functor \mathbf{Set} \to \mathbf{Set} via the natural isomorphism \Hom_{\mathbf{Set}}(1, X) \cong X, since morphisms from the singleton to X are in bijection with elements of X.

Continuity and Exactness

The covariant Hom functor \Hom(A, -) from a category \mathcal{C} to the category of sets preserves all small limits. Specifically, if \lim_i X_i is the limit of a small diagram in \mathcal{C}, then there is a natural isomorphism \Hom(A, \lim_i X_i) \cong \lim_i \Hom(A, X_i). This follows from the universal property of the limit: a morphism from A to the limit corresponds precisely to a compatible family of morphisms from A to each X_i. Similarly, the contravariant Hom functor \Hom(-, B) from \mathcal{C}^{\mathrm{op}} to the preserves all small limits in \mathcal{C}^{\mathrm{op}}, or equivalently, preserves limits in \mathcal{C}. If \lim_i X_i is a limit in \mathcal{C}, then \Hom(\lim_i X_i, B) \cong \lim_i \Hom(X_i, B) naturally in B. Again, this arises from the universal property, as a morphism from the limit to B is determined by compatible morphisms from each X_i to B. In the context of abelian categories, both Hom functors are left exact, meaning they preserve finite limits and thus the exactness of short exact sequences at the initial terms. For an abelian category \mathcal{A} and object P \in \mathcal{A}, the covariant functor \Hom_{\mathcal{A}}(P, -) : \mathcal{A} \to \Ab is left exact. If $0 \to X \to Y \to Z \to 0 is a short exact sequence in \mathcal{A}, then $0 \to \Hom_{\mathcal{A}}(P, X) \to \Hom_{\mathcal{A}}(P, Y) \to \Hom_{\mathcal{A}}(P, Z) is exact. Moreover, the functor is exact (preserves the full short exact sequence) if and only if P is projective. The contravariant functor \Hom_{\mathcal{A}}(-, I) : \mathcal{A}^{\mathrm{op}} \to \Ab is likewise left exact, and exact if and only if I is injective. The contravariant Hom functor \Hom(-, B) may be viewed as a presheaf on \mathcal{C}, while the covariant Hom functor \Hom(A, -) is a copresheaf. These perspectives highlight their roles in sheaf theory and representability, where preservation properties ensure compatibility with categorical constructions.

Yoneda Lemma

Statement and Proof Outline

Yoneda's lemma provides a fundamental isomorphism relating the hom-functor to arbitrary functors into the category of sets. Named after Nobuo Yoneda, who introduced it in 1957, in its standard (contravariant) form, for a locally small category \mathcal{C} and a functor F: \mathcal{C}^{\mathrm{op}} \to \mathbf{Set}, there is a natural isomorphism \operatorname{Nat}(\operatorname{Hom}_{\mathcal{C}}(-, A), F) \cong F(A), natural in both the object A \in \mathcal{C} and the functor F. The isomorphism sends a natural transformation \eta: \operatorname{Hom}_{\mathcal{C}}(-, A) \Rightarrow F to the element \eta_A(\operatorname{id}_A) \in F(A); conversely, an element \phi \in F(A) determines the natural transformation whose component at an object X is the composite F(f)(\phi) for each morphism f: X \to A. The covariant version is dual: for a functor G: \mathcal{C} \to \mathbf{Set}, there is a natural isomorphism \operatorname{Nat}(\operatorname{Hom}_{\mathcal{C}}(A, -), G) \cong G(A), natural in A \in \mathcal{C} and G. Here, a natural transformation \theta: \operatorname{Hom}_{\mathcal{C}}(A, -) \Rightarrow G maps to \theta_A(\operatorname{id}_A) \in G(A), while an element \psi \in G(A) yields the transformation with component at Y given by G(g)(\psi) for g: A \to Y. To outline the proof, begin by constructing the bijection explicitly for the covariant case. Define \gamma: \operatorname{Nat}(\operatorname{Hom}_{\mathcal{C}}(A, -), G) \to G(A) by \gamma(\theta) = \theta_A(\operatorname{id}_A). For the inverse, given x \in G(A), define \theta_x: \operatorname{Hom}_{\mathcal{C}}(A, -) \Rightarrow G by (\theta_x)_Y(g) = G(g)(x) for g: A \to Y; one verifies \gamma(\theta_x) = x and \theta_{\gamma(\theta)} = \theta using the naturality of \theta and functoriality of G. Naturality in A follows from the commutative diagram for a morphism h: A \to A': \begin{CD} \operatorname{Hom}_{\mathcal{C}}(A, -) @>{\operatorname{Hom}_{\mathcal{C}}(h, -)}>> \operatorname{Hom}_{\mathcal{C}}(A', -) \\ @V{\theta}VV @VV{\theta'}V \\ G @>{G(h)}>> G \end{CD} where the square commutes by the definition of natural transformation, ensuring G(h) \circ \theta_A = \theta_{A'} \circ \operatorname{Hom}_{\mathcal{C}}(h, -). Similar constructions and diagram verifications establish naturality in G via the functoriality of composition and the Yoneda embedding. The contravariant case proceeds analogously. A key corollary is that the Yoneda embedding y: \mathcal{C} \to [\mathcal{C}^{\mathrm{op}}, \mathbf{Set}], defined by y(A) = \operatorname{Hom}_{\mathcal{C}}(-, A) and acting on morphisms by post-composition, is a full and faithful functor. Fullness follows from \operatorname{Nat}(y(A), y(B)) \cong \operatorname{Hom}_{\mathcal{C}}(A, B), while faithfulness arises because distinct morphisms f, g: A \to B yield distinct natural transformations y(f), y(g): y(A) \to y(B), as y(f)(\mathrm{id}_A) = f \neq g = y(g)(\mathrm{id}_A).

Key Consequences

One key consequence of Yoneda's lemma is that it fully and faithfully embeds the category \mathcal{C} into the presheaf category [\mathcal{C}^{\mathrm{op}}, \mathbf{Set}]. Specifically, if there exists a natural isomorphism \operatorname{Hom}_{\mathcal{C}}(-, A) \cong \operatorname{Hom}_{\mathcal{C}}(-, B), then A \cong B in \mathcal{C}. This implies that objects in \mathcal{C} are uniquely determined up to isomorphism by the morphisms into them, emphasizing the lemma's role in characterizing categorical structure through representable functors. Dually, the covariant representables \operatorname{Hom}_{\mathcal{C}}(A, -) fully faithfully embed \mathcal{C}^{\mathrm{op}} into [\mathcal{C}, \mathbf{Set}]. Another important implication is the density of representable functors. Every presheaf F: \mathcal{C}^\mathrm{op} \to \mathbf{Set} can be expressed as a colimit of representable presheaves: F \cong \varinjlim_{(c, x) \in \int F} y(c), where y: \mathcal{C} \to [\mathcal{C}^\mathrm{op}, \mathbf{Set}] is the Yoneda embedding and \int F is the category of elements of F. This Yoneda density theorem shows that the representables jointly generate the presheaf category under colimits, providing a universal approximation of arbitrary functors by those arising from objects in \mathcal{C}. Yoneda's lemma also yields a formula for Kan extensions along the Yoneda embedding. The left Kan extension of a functor F: \mathcal{C} \to \mathcal{E} along y is given by \operatorname{Lan}_y F \cong F * y, where * denotes the convolution product in the functor category. This construction leverages the density of representables to extend functors universally while preserving their essential properties. In the context of limits, representable functors jointly detect them in \mathcal{C}. If, for every object A in \mathcal{C}, the induced map \operatorname{Hom}_{\mathcal{C}}(A, L) \to \prod_i \operatorname{Hom}_{\mathcal{C}}(A, X_i) is an isomorphism, then L is the limit of the diagram (X_i)_i. This follows from the fact that the covariant representables preserve limits, ensuring that universal properties are detected across the embedding. Dually, contravariant representables detect colimits. The extends to enriched categories, where the enriched provides a weighted colimit formulation that generalizes the ordinary case while maintaining the core isomorphism between enriched natural transformations and enriched hom-objects.

Internal Hom Functor

Definition in Closed Categories

This concept was introduced by Eilenberg and in 1966. In a closed \mathcal{C}, equipped with a monoidal structure (\otimes, I), the internal assigns to each pair of objects A, B \in \mathcal{C} an object [A, B] \in \mathcal{C}, often denoted B^A, such that the functor -\otimes A: \mathcal{C} \to \mathcal{C} admits a right [A, -]: \mathcal{C} \to \mathcal{C}. This internal Hom thus forms a bifunctor [\cdot, \cdot]: \mathcal{C}^{\mathrm{op}} \times \mathcal{C} \to \mathcal{C}, contravariant in the first argument and covariant in the second. The defining property of this structure is the currying , a \Hom_{\mathcal{C}}(X \otimes A, B) \cong \Hom_{\mathcal{C}}(X, [A, B]) for all objects X, A, B \in \mathcal{C}, which encodes the internal representation of s via the adjunction. Accompanying this is the evaluation map \mathrm{ev}_{A,B}: [A, B] \otimes A \to B, which is in both A and B and serves as the counit of the adjunction, allowing the "application" of the internal represented by [A, B] to its argument A. The action of the internal Hom on morphisms is induced by pre- and post- within the category: for a \alpha: A' \to A (reversed for contravariance) and \beta: B \to B', there exists a [\alpha, \beta]: [A, B] \to [A', B'] in \mathcal{C} such that the naturality squares for the map in each variable commute, leveraging the bifunctoriality and the isomorphism. This construction ensures the internal Hom respects the category's internally. Such a closed structure requires \mathcal{C} to be monoidal closed with respect to \otimes; in the special case where the monoidal product is the \times and I is a terminal object, \mathcal{C} is termed cartesian closed.

Relationship to External Hom

In a monoidal closed category \mathcal{C}, the internal hom [A, B] serves as the right to the -\otimes A, establishing a natural isomorphism \operatorname{Hom}_{\mathcal{C}}(X \otimes A, B) \cong \operatorname{Hom}_{\mathcal{C}}(X, [A, B]) for all objects X, A, B \in \mathcal{C}. This adjunction bridges the internal structure of \mathcal{C} with its external hom-sets, where the external \operatorname{Hom}_{\mathcal{C}} denotes the collection of morphisms between objects, and the internal hom object [A, B] represents these morphisms "internally" as an object within \mathcal{C} itself. The isomorphism arises from the universal property of the right adjoint, with the unit of the adjunction corresponding to the currying map X \to [A, [X, B]] and the counit to the evaluation morphism [A, B] \otimes A \to B. In the concrete case of the category \mathbf{Set} of sets, which is cartesian closed with tensor product given by the product \times, the internal hom [A, B] coincides precisely with the external hom \operatorname{Hom}_{\mathbf{Set}}(A, B), realized as the function set B^A. Here, the adjunction specializes to \operatorname{Hom}_{\mathbf{Set}}(X \times A, B) \cong \operatorname{Hom}_{\mathbf{Set}}(X, B^A), reflecting the of functions in , where a X \times A \to B is equivalent to a X \to (A \to B). This identification highlights how the internal hom generalizes the external hom from sets to arbitrary closed categories, preserving the representational role of morphisms. When \mathcal{C} is enriched over a monoidal closed category \mathcal{V}, the external hom \operatorname{Hom}_{\mathcal{C}}(A, B) takes values as objects in \mathcal{V} rather than sets, and the internal hom in \mathcal{V}—denoted [\cdot, \cdot]_{\mathcal{V}}—relates directly to these enriched hom-objects. Specifically, the enriched category structure requires \mathcal{V} to be closed, ensuring that the composition in \mathcal{C} is mediated by the internal hom in \mathcal{V}, such as through the enriched where \mathcal{C}(A, B) \cong [\mathcal{C}(-, A), B]_{\mathcal{V}}. This connection extends the adjunction to the enriched setting, where tensor products in \mathcal{V} (or copowers in \mathcal{C}) adjoint to the enriched internal hom, mirroring the ordinary case but with morphisms replaced by \mathcal{V}-objects. The internal hom inherits key preservation properties from the external hom, adapted to the category's structure: it converts colimits in the contravariant (first) argument to limits and preserves limits in the covariant (second) argument, paralleling how the external \operatorname{Hom}_{\mathcal{C}}(-, B) converts colimits to limits and \operatorname{Hom}_{\mathcal{C}}(A, -) preserves limits. In the adjunction context, these properties follow from the general behavior of right adjoints, with the internal hom as right adjoint to tensor preserving the relevant limits and colimits in \mathcal{C}. For instance, in a closed category, if D is a small diagram, then [ \varinjlim_i A_i, B ] \cong \varprojlim_i [A_i, B], directly analogous to the external hom's contravariant continuity.

Applications and Examples

In Abelian Categories

In the of modules over a R, denoted R-Mod, the Hom functor \operatorname{Hom}_R(M, N) assigns to each pair of R-modules M and N the of all R-linear homomorphisms from M to N. The covariant \operatorname{Hom}_R(M, -) is left exact, meaning that for any short $0 \to A \to B \to C \to 0 in R-Mod, the induced sequence $0 \to \operatorname{Hom}_R(M, A) \to \operatorname{Hom}_R(M, B) \to \operatorname{Hom}_R(M, C) is exact. An R-module P is projective if and only if the functor \operatorname{Hom}_R(P, -) is exact, preserving both kernels and cokernels in short exact sequences. Dually, an R-module I is injective if and only if the contravariant functor \operatorname{Hom}_R(-, I) is exact. The Ext functors arise as the right derived functors of \operatorname{Hom}_R(A, -); in particular, \operatorname{Ext}^1_R(A, B) measures the failure of exactness of \operatorname{Hom}_R(A, -) at B and can be computed by applying \operatorname{Hom}_R(A, -) to an injective resolution of B. In the category of abelian groups, Ab, the functor \operatorname{Hom}_\mathbb{Z}(\mathbb{Z}/n\mathbb{Z}, -) detects the n-torsion subgroup, as \operatorname{Hom}_\mathbb{Z}(\mathbb{Z}/n\mathbb{Z}, G) \cong \{ g \in G \mid n g = 0 \} for any abelian group G. Applying the Hom functor to a projective resolution of a module yields its cohomology groups; specifically, if \cdots \to P_1 \to P_0 \to A \to 0 is a projective resolution of A, then the cohomology of the complex $0 \to \operatorname{Hom}_R(B, P_0) \to \operatorname{Hom}_R(B, P_1) \to \cdots computes \operatorname{Ext}^*_R(B, A).

In Monoidal and Type Theory Contexts

In closed monoidal categories, the internal hom functor provides an object [A, B] within the category that represents morphisms from A to B, serving as the right adjoint to the tensor product functor. This structure ensures that the category supports a notion of "function spaces" internal to itself, allowing for the composition of morphisms in a way that mirrors external hom-sets but remains enriched over the category. A concrete example arises in the category Vect_k of vector spaces over a field k, where the monoidal structure is given by the tensor product ⊗_k. Here, the internal hom [V, W] is the vector space Hom_k(V, W) consisting of all k-linear maps from V to W, with addition and scalar multiplication defined pointwise: for linear maps f, g: V → W and scalar α ∈ k, (f + g)(v) = f(v) + g(v) and (α f)(v) = α f(v). This object captures the space of linear transformations as a vector space itself, enabling the category to be closed monoidal. The defining property of this internal hom is the tensor-hom adjunction, which establishes a natural between morphism sets: Hom_C(V ⊗ U, W) ≅ Hom_C(V, [U, W]) for objects U, V, W in the closed C. This adjunction, often called the in this context, allows morphisms involving tensor products to be equivalently expressed using internal homs, facilitating computations and proofs in enriched settings. In , the internal hom [A, B] models the function type A → B, where types correspond to objects and terms to morphisms in a . Such categories, equipped with finite products and internal homs adjoint to the product (a special case of tensor), provide the categorical semantics for the , establishing a correspondence between logical proofs, programs, and category-theoretic structures. For instance, in the , the process of a representing a corresponds to the unit of the adjunction induced by the internal hom: a A × B → C is equivalent to a A → [B, C], mirroring lambda abstraction where λx. M transforms a M depending on x: B into a function of type A → (B → C). This equivalence underscores how internal homs encode higher-order functions and in typed computational settings. In , the internal hom takes the form A , representing linear where resources (propositions) are used exactly once without duplication or deletion. For modalities handling reusable resources, the !A (of! ) allows and weakening, so !A serves as the internal hom in the *-autonomous , modeling non-cloning constraints in resource-sensitive computations like concurrency and quantum protocols.