Fact-checked by Grok 2 weeks ago

Injective object

In mathematics, particularly in the field of category theory, an injective object in an abelian category \mathcal{A} is an object I such that for every monomorphism M \hookrightarrow N in \mathcal{A} and every morphism f: M \to I, there exists a morphism g: N \to I making the following diagram commute:

\begin{CD} M @>f>> I \\ @ViVV @| \\ N @>g>> I \end{CD}

where i: M \hookrightarrow N is the given monomorphism.^[1] This extension property is equivalent to the representable functor \Hom_{\mathcal{A}}(-, I): \mathcal{A}^{\mathrm{op}} \to \mathbf{Ab} being exact.^[1] Injective objects play a central role in homological algebra by enabling the construction of injective resolutions for arbitrary objects in categories with enough injectives, which in turn allows the definition and computation of right derived functors such as Ext and sheaf cohomology.^[2] For instance, in the category of modules over a commutative ring R, denoted \mathrm{Mod}_R, there exist enough injective objects, so every R-module embeds into an injective one, and injective resolutions can be built via transfinite inductions or explicit constructions like quotient modules.^[3] Dually to projective objects—which satisfy a lifting property for epimorphisms—injectives arise by reversing the arrows in the category; dually, for a projective object P, the functor \Hom_{\mathcal{A}}(P, -): \mathcal{A} \to \mathbf{Ab} is exact, and this duality underpins many results in homological algebra, including Baer's criterion for injectivity in module categories.^[1]^[3]

Fundamentals

Definition

In a category \mathcal{C}, an object I is called injective if it satisfies the following universal property: for every monomorphism f: A \to B and every morphism g: A \to I, there exists a morphism h: B \to I such that h \circ f = g.^[4] This extension property captures the idea that morphisms into I can always be "lifted" or extended along injective inclusions. Equivalently, I is injective if the representable functor

\Hom(-, I): \mathcal{C}^{\op} \to \Set

sends monomorphisms in \mathcal{C} to epimorphisms in

\Set

, meaning that for any monomorphism f: A \to B, the induced map \Hom(B, I) \to \Hom(A, I) is surjective.^[4] The concept of an injective object generalizes injective modules, first introduced by Reinhold Baer in 1940 in the context of abelian groups that are direct summands of every group containing them as a subgroup. It emerged as the dual to projective objects, emphasizing extension properties in early homological algebra.^[5] This universal property is illustrated by the commutative diagram

\begin{CD} A @>g>> I \\ @VfVV @VhVV \\ B @. I \end{CD}

where the solid arrows denote given morphisms and the dashed arrow h is the required extension.^[4]

Basic properties

Injective objects exhibit several closure properties derivable directly from their defining lifting property. In a category admitting arbitrary products, the product of any family of injective objects is again injective. This holds because the representable functor \Hom(-, \prod I_\alpha) is the product of the functors \Hom(-, I_\alpha), and since each \Hom(-, I_\alpha) satisfies the right lifting property against monomorphisms, so does their product.^[6] A general form of Baer's criterion characterizes injective objects in categories equipped with a suitable class of "simple" subobjects, such as those generated by a single element or morphism. Specifically, an object I is injective if and only if every morphism from such a subobject to I extends along the inclusion to the ambient object. In the category of modules over a ring, this reduces to the classical Baer's criterion: a module I is injective precisely when every homomorphism from a left ideal of the ring to I extends to a homomorphism from the entire ring to I. This criterion adapts to more general categories, like abelian categories, where it applies to monomorphisms with cyclic cokernels or analogous structures.^[7] The concept of an injective object stands in duality to that of a projective object. While a projective object P satisfies the left lifting property with respect to epimorphisms—meaning \Hom(P, -) sends epimorphisms to epimorphisms in the category of sets—an injective object I satisfies the right lifting property with respect to monomorphisms, so that \Hom(-, I): \mathcal{C}^\mathrm{op} \to \mathbf{Set} sends monomorphisms to epimorphisms. By Yoneda's lemma, the functor \Hom(-, I) is representable by I itself, establishing a natural isomorphism \Nat(\Hom(-, I), F) \cong F(I) for any contravariant functor F: \mathcal{C}^\mathrm{op} \to \mathbf{Set}. This representability underscores the "exact-like" behavior of \Hom(-, I), as the lemma ensures that the structure of I is fully captured by its morphism sets, mirroring how projectives arise from representables in the covariant setting.^[6]^[8] Not all categories possess non-trivial injective objects. For instance, in constructive set theory (CZF), the category of finite sets lacks injective objects beyond singletons, as sets with more than two elements fail to satisfy the extension property without additional axioms like the rule of weak excluded middle.^[9]

In Abelian categories

Characterization

In an abelian category \mathcal{A}, an object I is injective if and only if the contravariant Hom functor \operatorname{Hom}_{\mathcal{A}}(-, I): \mathcal{A}^{\mathrm{op}} \to \mathrm{Ab} is exact.^[10] This means that for every short exact sequence $0 \to A \to B \to C \to 0 in \mathcal{A}, the induced sequence $0 \to \operatorname{Hom}_{\mathcal{A}}(C, I) \to \operatorname{Hom}_{\mathcal{A}}(B, I) \to \operatorname{Hom}_{\mathcal{A}}(A, I) \to 0 is exact in the category of abelian groups.^[10] To see the equivalence with the classical extension property, note that \operatorname{Hom}_{\mathcal{A}}(-, I) is always left exact in abelian categories, so exactness reduces to right exactness.^[11] The right exactness condition requires that the map \operatorname{Hom}_{\mathcal{A}}(B, I) \to \operatorname{Hom}_{\mathcal{A}}(A, I) is surjective for any monomorphism A \to B. Given a morphism f: A \to I, this surjectivity guarantees the existence of a lift g: B \to I such that g \circ i = f, where i: A \to B is the monomorphism, precisely the extension property defining injectivity.^[10] This exactness also connects to the splitting lemma: every short exact sequence of the form $0 \to I \to A \to B \to 0 with I injective splits.^[10] Equivalently, any monomorphism I \to A admits a retraction A \to I, ensuring that the image of I in A is a direct summand.^[10] Injective objects are dual to projective objects in abelian categories, where projectives relate to generators via the exactness of \operatorname{Hom}_{\mathcal{A}}(P, -).^[6] Dually, an injective object I cogenerates \mathcal{A} if it separates nonzero objects, meaning that for every nonzero object X in \mathcal{A}, there exists a nonzero morphism X \to I.^[12] In this case, \operatorname{Hom}_{\mathcal{A}}(-, I) is faithful, reflecting the cogenerating role by distinguishing distinct subobjects through nonzero maps to I.^[12]

Injective resolutions

In an abelian category \mathcal{A}, an injective resolution of an object A is a cochain complex I^\bullet = (I^n, d^n)_{n \geq 0} with each I^n injective, together with a monomorphism \epsilon: A \to I^0 such that the augmented complex

$0 \to A \xrightarrow{\epsilon} I^0 \xrightarrow{d^0} I^1 \xrightarrow{d^1} I^2 \to \cdots

is exact.^[13] In categories with enough injectives, every object admits an injective resolution, which provides a standard method for computing right derived functors such as \operatorname{Ext}^n(B, -); specifically, if I^\bullet is an injective resolution of an object C, then \operatorname{Ext}^n(B, C) is isomorphic to the nth cohomology group of the complex \operatorname{Hom}(B, I^\bullet).^[13] Injective resolutions are unique up to cochain homotopy equivalence: if I^\bullet and J^\bullet are two injective resolutions of A, then there exists a chain of quasi-isomorphisms between them that is unique up to homotopy.^[13] To construct injective resolutions from short exact sequences, the (injective) horseshoe lemma applies: given a short exact sequence $0 \to A' \to A \to A'' \to 0 in \mathcal{A} and injective resolutions I^\bullet_\bullet of A' and J^\bullet_\bullet of A'', there exists an injective resolution K^\bullet_\bullet of A fitting into a short exact sequence of complexes $0 \to I^\bullet_\bullet \to K^\bullet_\bullet \to J^\bullet_\bullet \to 0. Truncations of such resolutions, such as the good truncation \tau_{\leq n} I^\bullet, yield finite injective approximations useful for localized computations.^[14]^[13]

Structural properties

Enough injectives

In an abelian category \mathcal{A}, the property of having enough injectives means that for every object A \in \mathcal{A}, there exists a monomorphism A \to I with I an injective object in \mathcal{A}.^[15] This condition ensures the abundance of injective objects sufficient to embed any given object as a subobject of one. The existence of enough injectives is fundamental in homological algebra, as it guarantees that every object in the category admits an injective resolution, allowing the computation of right derived functors such as \operatorname{Ext} groups.^[15] Without this property, such resolutions may not be constructible for arbitrary objects, limiting the applicability of homological methods. Many important abelian categories satisfy this condition; for instance, the category of modules over any ring R has enough injectives, a result proved using Zorn's lemma applied to the poset of injective extensions of a given module.^[16] In contrast, some abelian categories lack enough injectives, such as the category of finitely generated abelian groups, where the only injective object is the zero object, preventing non-trivial embeddings. A key consequence of having enough injectives is that every object possesses an injective hull, providing a minimal injective extension.^[17]

Injective hulls

In an abelian category \mathcal{A}, the injective hull (or injective envelope) E(A) of an object A is an injective object together with an essential monomorphism i: A \hookrightarrow E(A), where "essential" means that every non-zero subobject of E(A) intersects the image of i non-trivially (or equivalently, any morphism \alpha: E(A) \to B is a monomorphism whenever \alpha \circ i is).^[18] This makes E(A) the minimal injective extension of A, in the sense that no proper subobject of E(A) containing the image of A is injective.^[18] The injective hull is unique up to isomorphism: if E'(A) is another injective hull of A, then there exists a unique isomorphism E(A) \to E'(A) making the triangle with the embeddings from A commutative.^[18] This uniqueness follows from the essentiality condition, as any morphism between two essential extensions of A into injectives must be an isomorphism, since composing with the embeddings yields monomorphisms on both sides, and injectivity ensures the map is an isomorphism.^[18] In abelian categories with enough injectives, the injective hull can be constructed using Zorn's lemma.^[18] First, embed A into some injective object I; then apply Zorn's lemma to the partially ordered set of all subobjects of I containing the image of A that are essential extensions, ordered by inclusion, to obtain a maximal such subobject, which is the injective hull (alternatively, consider the direct limit of a chain of essential extensions into injectives).^[18] By definition, E(A) is injective.^[18] Moreover, the endomorphism ring \operatorname{End}(E(A)) of the injective hull encodes structural information about A, particularly when E(A) is indecomposable, in which case \operatorname{End}(E(A)) is a local ring, facilitating decompositions and uniqueness theorems in homological algebra.^[18]

Examples

In module categories

In the category of modules over the ring \mathbb{Z}, the injective objects are precisely the divisible abelian groups.^[19] A group A is divisible if for every a \in A and every positive integer n, there exists b \in A such that na = b. The rational numbers \mathbb{Q} form a divisible group under addition and thus constitute an injective \mathbb{Z}-module.^[19] Moreover, \mathbb{Q} is the injective hull of \mathbb{Z}, as the natural inclusion \mathbb{Z} \hookrightarrow \mathbb{Q} is an essential monomorphism into an injective module, and any injective module containing \mathbb{Z} must contain \mathbb{Q} up to isomorphism.^[20]^[21] Cyclic groups \mathbb{Z}/n\mathbb{Z} for n > 1 provide examples of non-injective \mathbb{Z}-modules. These fail Baer's criterion: the inclusion n\mathbb{Z} \hookrightarrow \mathbb{Z} composed with the quotient map \mathbb{Z} \twoheadrightarrow \mathbb{Z}/n\mathbb{Z} defines a homomorphism from the ideal n\mathbb{Z} to \mathbb{Z}/n\mathbb{Z} sending n to the class of 1, but this cannot extend to a homomorphism from \mathbb{Z} to \mathbb{Z}/n\mathbb{Z} since it would require dividing by n in a module of exponent n.^[22] Over a commutative Noetherian ring R, the structure theorem for injective modules states that every injective R-module decomposes uniquely (up to isomorphism and permutation of summands) as a direct sum \bigoplus_{\mathfrak{p} \in \mathrm{Spec}(R)} E(R/\mathfrak{p})^{\alpha_{\mathfrak{p}}}, where each E(R/\mathfrak{p}) is the indecomposable injective hull of the residue field R/\mathfrak{p} (more precisely, the hull of the simple module over the localization R_{\mathfrak{p}}), and \alpha_{\mathfrak{p}} is a cardinal denoting the multiplicity.^[23]^[22] The indecomposables E(R/\mathfrak{p}) correspond bijectively to the prime ideals of R, and their explicit form often involves Prüfer modules or localizations when R is a domain.^[22] To compute the injective hull E(M) of a general R-module M over a commutative ring R, one leverages the compatibility of injective hulls with localization: for each prime ideal \mathfrak{p} \in \mathrm{Spec}(R), the localization satisfies E(M)_{\mathfrak{p}} \cong E(M_{\mathfrak{p}}) as R_{\mathfrak{p}}-modules, where E(M_{\mathfrak{p}}) is the hull in the local ring R_{\mathfrak{p}}.^[24] Since injective modules over commutative rings are determined by their localizations at primes, E(M) can be reconstructed as the direct sum over relevant \mathfrak{p} (typically those in the support of M) of the local hulls E(M_{\mathfrak{p}}), adjusted for the global structure via the decomposition theorem when R is Noetherian.^[23] For instance, in the case of M = R/I for an ideal I, the hull is the direct sum of E(R/\mathfrak{p}) over primes \mathfrak{p} containing I.^[22]

In other categories

In the category of partially ordered sets and order-preserving maps, known as Pos, an object P is injective if, for every monomorphism f: A \to B (an order-embedding) and every order-preserving map g: A \to P, there exists an order-preserving map h: B \to P such that h \circ f = g.^[25] Such injective posets are precisely the complete lattices, where every subset has both a supremum and infimum, allowing extensions via universal properties of joins and meets.^[26] This contrasts with the module case by emphasizing order-completeness rather than divisibility. In the category of sets, Set, every non-empty set is an injective object, as monomorphisms are injective functions and any function from a subset can be extended to the whole set using the axiom of choice to assign images arbitrarily.^[27] The empty set is injective only trivially, for the empty domain. This renders the notion of injectivity non-distinguishing, as nearly all objects satisfy the lifting property against monomorphisms, unlike in more structured categories where injectives are rare. In the category of sheaves of abelian groups on a topological space X, denoted Sh(X), injective objects are sheaves I such that the Hom functor Hom(-, I) is exact, enabling extensions of sheaf morphisms along monomorphisms in Sh(X).^[15] These injective sheaves provide resolutions for computing sheaf cohomology, with the category Sh(X) possessing enough injectives for any X, often constructed via Godement's fine resolution using partitions of unity when X is paracompact.^[28] Examples include flasque sheaves under certain conditions, but full injectivity requires stronger global section properties. The category of finite-dimensional vector spaces over a field k, fdVect_k, exemplifies a setting with no proper distinction among injectives: every object is injective, as linear maps from subspaces extend linearly to the whole space by completing bases.^[29] This triviality arises because fdVect_k is semisimple—all short exact sequences split—eliminating the need for dedicated injective objects beyond the category's own elements, in contrast to infinite-dimensional cases or non-semisimple categories.^[30]

Applications

In homological algebra

Injective objects play a central role in homological algebra by facilitating the computation of derived functors, particularly the Ext functors, which measure the extensions between objects in an abelian category. Specifically, for objects A and B in an abelian category \mathcal{A}, the right derived functors \operatorname{Ext}^n_{\mathcal{A}}(A, B) can be computed using an injective resolution I^\bullet of B, where the cohomology of the complex \operatorname{Hom}_{\mathcal{A}}(A, I^\bullet) yields \operatorname{Ext}^n_{\mathcal{A}}(A, B) = H^n(\operatorname{Hom}_{\mathcal{A}}(A, I^\bullet)).^[31] This approach leverages the fact that the Hom functor preserves exactness when applied to injective objects, ensuring the resolution remains acyclic. Dually, \operatorname{Ext}^n_{\mathcal{A}}(A, B) can also be computed via a projective resolution of A, highlighting the symmetry between injective and projective methods in homological computations.^[5] The injective dimension of an object further connects to broader category-theoretic invariants, such as the global dimension of \mathcal{A}. The global dimension of an abelian category \mathcal{A} with enough injectives is defined as the supremum of the injective dimensions over all objects in \mathcal{A}, which coincides with the supremum of the projective dimensions when enough projectives are also available.^[32] This equivalence underscores the balanced role of injective objects in measuring the homological complexity of the category, as finite global dimension implies that all derived functors vanish beyond a certain degree.^[33] In more advanced computations, injective resolutions feed into the construction of spectral sequences for hypercohomology. Hypercohomology \mathbb{H}^n(\mathcal{A}, \mathcal{F}^\bullet) of a complex \mathcal{F}^\bullet is computed by resolving \mathcal{F}^\bullet with a Cartan-Eilenberg injective resolution and taking cohomology, which gives rise to a spectral sequence converging to the hypercohomology groups.^[34] This spectral sequence arises from the double complex formed by the resolution, with E_2^{p,q} = H^p(\mathcal{A}, H^q(\mathcal{F}^\bullet)) abutting to \mathbb{H}^{p+q}(\mathcal{A}, \mathcal{F}^\bullet), enabling the analysis of higher invariants in homological algebra.^[34] The foundational development of these concepts, including the systematic use of injective resolutions for derived functors and spectral sequences, was established in the seminal work of Cartan and Eilenberg in the 1950s, which unified homology and cohomology theories across various algebraic structures.^[33]

In sheaf theory

In the category of sheaves of abelian groups on a topological space X, injective objects are sheaves \mathcal{I} such that the functor \Hom(\mathcal{F}, \mathcal{I}) is exact for any sheaf \mathcal{F}. Flasque (or flabby) sheaves provide a key class of acyclic sheaves in this setting for computing cohomology, and all injective sheaves are flasque; they are characterized by the property that the restriction map \mathcal{I}(U) \to \mathcal{I}(V) is surjective for every open inclusion V \subset U. This ensures that flasque sheaves are acyclic for the global sections functor, making them suitable for resolutions.^[35] A canonical way to construct an injective resolution for a sheaf \mathcal{F} on X is the Godement resolution, which proceeds by iteratively applying the sheafification of the presheaf U \mapsto \prod_{x \in U} \mathcal{F}_x, yielding a flasque resolution $0 \to \mathcal{F} \to \mathcal{G}^0(\mathcal{F}) \to \mathcal{G}^1(\mathcal{F}) \to \cdots where each \mathcal{G}^i(\mathcal{F}) is flasque (in fact, injective). This resolution is functorial and computes the derived functors of the global sections functor \Gamma(X, -).^[36] The category of sheaves of abelian groups on any topological space X has enough injectives, meaning every sheaf admits a monomorphism into an injective sheaf, allowing for injective resolutions of arbitrary length. In the more structured setting of quasi-coherent sheaves on a scheme X, the category \QCoh(\mathcal{O}_X) is a Grothendieck abelian category and thus also has enough injectives, facilitating cohomology computations in algebraic geometry.^[37]^[38] A primary application of injective objects in sheaf theory is the computation of sheaf cohomology groups H^n(X, \mathcal{F}), defined as the cohomology of the global sections complex \Gamma(X, \mathcal{I}^\bullet) in an injective resolution $0 \to \mathcal{F} \to \mathcal{I}^\bullet of \mathcal{F}, with H^0(X, \mathcal{F}) = \Gamma(X, \mathcal{F}) and higher groups vanishing on \mathcal{F} itself. This approach yields the classical Čech cohomology when using fine or flasque refinements, providing a geometric tool for studying topological invariants of X.^[39] On smooth manifolds, fine sheaves form another important class of acyclic sheaves, defined as sheaves of \mathcal{C}^\infty-modules admitting a partition of unity subordinate to any locally finite open cover. The sheaf of smooth functions \mathcal{C}^\infty_X is fine due to the existence of partitions of unity on paracompact manifolds, and tensor products with fine sheaves remain fine, enabling acyclic resolutions for de Rham cohomology and other differential-geometric applications.^[40]^[41]

Generalizations

H-injective objects

In a category \mathcal{C}, an object I is said to be H-injective with respect to a fixed class H of morphisms if, for every morphism f: A \to B in H and every morphism g: A \to I, there exists a morphism h: B \to I such that h \circ f = g. This condition ensures that the representable functor \Hom(-, I) is exact with respect to the morphisms in H, generalizing the lifting property central to classical injectivity.^[42] When H consists of all monomorphisms in \mathcal{C}, the notion of H-injectivity coincides with the standard definition of injective objects, where maps along monomorphisms extend uniquely in the appropriate sense.^[43] More generally, H-injectivity adapts the concept to specific subclasses of embeddings, such as regular monomorphisms or strict injections in filtered modules, allowing for tailored homological computations in non-standard settings.^[42] Key properties of H-injective objects include closure under existing products: if \{I_i\}_{i \in J} is a family of H-injective objects and \prod_{i \in J} I_i exists in \mathcal{C}, then the product is H-injective.^[42] A generalized form of Baer's criterion applies to H-injectivity in module categories, stating that an object is H-injective if and only if it satisfies the extension property for a generating subclass of morphisms in H, such as ideals or relative projectives, facilitating practical verification without checking all of H.^[43]

In non-abelian categories

In non-abelian categories, the classical definition of an injective object—requiring that Hom(-, I) lifts along monomorphisms—persists, but the absence of kernels and cokernels complicates its utility and often yields trivial or sparse classes of such objects. In the category of groups, for instance, monomorphisms are injective homomorphisms, and injectivity demands that every homomorphism from a subgroup to the candidate injective group G extends to the whole group. However, due to the rigidity of group extensions and the prevalence of non-split normal inclusions, such as the inclusion of the integers into the rationals under addition (viewed as groups), the only object satisfying this property is the trivial group. This result underscores the scarcity of injectives in non-abelian settings, where the lack of abelian structure prevents the Baer's criterion-like characterizations that work in abelian categories.^[44] In the category of monoids, injectivity similarly revolves around extending monoid actions or homomorphisms along inclusions, often interpreted through order-theoretic lenses when considering partially ordered monoids. Here, injective objects are those monoids into which every submonoid action can be extended, leading to injective hulls that preserve submultiplicative order-preserving properties. For example, in the category of partially ordered monoids with submultiplicative order-preserving maps, the injective hull of a given po-monoid is constructed by embedding it into a larger structure that completes the order while maintaining multiplicativity, facilitating the extension of actions without violating the monoid axioms. This order-theoretic approach highlights how injectivity in monoid categories adapts to the non-invertible nature of elements, contrasting with the more symmetric group case.^[45]^[46] A key challenge in non-abelian categories is the absence of exact sequences in the abelian sense, which undermines global resolutions and forces reliance on relative notions of injectivity. Relative injectivity is defined with respect to a subcategory or a class of morphisms, such as projective classes in a pointed category, allowing one to build model category structures that mimic homological algebra without full abelianity. For instance, in a possibly non-abelian category equipped with a suitable class of epimorphisms, relative injectives serve as cogenerators for computing derived functors in a Quillen model framework, enabling extensions of cohomological tools to settings like crossed complexes or simplicial groups. This relative approach addresses the exactness deficit by focusing on proper classes of weak equivalences rather than kernel-cokernel pairs.^[44]^[47] Modern developments extend these ideas to higher category theory, particularly in 2-categories, where injectivity applies to objects that lift 1-morphisms along 2-monomorphisms or resolve 2-morphisms via higher lifting properties. In the 2-category of symmetric categorical groups (equipped with weak equivalences and fibrations), there exist enough injective objects, allowing for 2-categorical resolutions analogous to injective resolutions in 1-categories; these injectives facilitate computations in non-abelian cohomology for 2-groups. Such structures bridge classical injectivity to higher dimensions, supporting applications in homotopy theory where non-abelian phenomena dominate. H-injective objects provide a parametric bridge to these non-abelian contexts by generalizing relative properties within semi-abelian categories.^[48]^[49]

References

[1]
[PDF] Notes on Category Theory - UT Math
Feb 28, 2018 · Definition 6.25. An object E of an abelian category is injective if, for any two objects N,M with maps f : N → E and g : N → M monic ...
[2]
[PDF] Basics of Homological Algebra
A category A is said to have “enough injectives” if for every object M of A there exists an injective object. I of A and an injection A ,→ I. The category A has ...
[3]
[PDF] injectives.pdf - Stacks Project
In this chapter we explain how to produce injectives and K-injective complexes first for modules on sites and later more generally for Grothendieck abelian ...
[4]
[PDF] maclane-categories.pdf - MIT Mathematics
... injective" object as defined in § 4). Page 141. 132. Limits. 3. Use Exercise 2(b) and the special adjoint functor theorem to prove that any continuous additive ...<|separator|>
[5]
[PDF] Derived Functors
2.3 Injective Resolutions. An object / in an abelian category A is injective if it satisfies the following universal lifting property: Given an injection f:A-+B.
[6]
injective object in nLab
### Summary of Injective Objects from nLab
[7]
https://www.worldscientific.com/doi/pdf/10.1142/S1793557123502340
[8]
[PDF] arXiv:1902.09441v3 [math.RT] 8 Jan 2020
Jan 8, 2020 · By Yoneda's lemma, the projective objects are given by the representable functors C(−,C) for C ∈ C, and by the duality, the injective objects ...
[9]
[PDF] Are There Enough Injective Sets? - arXiv
Nov 22, 2011 · the category of sets has enough injective objects. In particular ... In CZF, however, choice functions on finite sets can be defined as ...
[10]
https://stacks.math.columbia.edu/tag/0136
[11]
Characterization of injective objects in abelian categories
Jun 10, 2013 · As stated in the comments, HomC(⋅,I) is always left exact, so we wish to show that I is injective if and only if HomC(⋅,I) is right exact.
[12]
[PDF] Exercises on generators, cogenerator, exact functors. - Math-Unipd
(2) An object V of an abelian category c is injective if HomC(-,V ) is exact. Prove that an injective object V is a cogenerator iff for every non-zero object C ...
[13]
[PDF] AN INTRODUCTION TO HOMOLOGICAL ALGEBRA
... Injective Resolutions. Left Derived Functors. Right Derived Functors ... Cartan-Eilenberg resolution P** of a chain complex A* in A is an upper half ...
[14]
[PDF] Class Notes for Math 915: Homological Algebra, Instructor Tom Marley
. Note: This is called the Buchsbaum-Eisenbud-Horrocks Conjecture. ... injective resolution of N. Then Exti. R(M,N) = Hi(HomR(M,I·)). The Ext ...
[15]
Section 12.27 (0134): Injectives—The Stacks project
Chapter 12: Homological Algebra ... To Weixiao Lu: In a locally noetherian category, every inductive limit of injective objects is an injective object (Cor.
[16]
Section 47.3 (08XN): Injective modules—The Stacks project
The final assertion follows from the first and the fact that the category of R-modules has enough injectives (More on Algebra, Section 15.55). Assume (1) ...
[17]
Section 47.5 (08Y1): Injective hulls—The Stacks project
An injection M \to I of R-modules is said to be an injective hull if I is an injective R-module and M \to I is an essential injection. Injective hulls always ...
[18]
[PDF] Homological Theory of Representations
Sep 15, 2021 · ... Injective envelope. Let A be an abelian category. A monomorphism 𝜙: 𝑋 →. 𝑌 is essential if any morphism 𝛼: 𝑌 → 𝑌′ is a monomorphism ...
[19]
[PDF] INJECTIVE MODULES - Purdue Math
These notes are intended to give the reader an idea what injective modules are, where they show up, and, to a small extent, what one can do with them.Missing: 1940 | Show results with:1940
[20]
Injectivity and sections - ScienceDirect.com
Injective objects in Pos / B. Let Pos denote the category of partially ordered sets and monotone mappings. In such a category injective objects, with respect ...
[21]
https://math.uni.lu/nt/NT-Sem/generalization-inj.pdf
[22]
[PDF] Are There Enough Injective Sets? - Homepages of UvA/FNWI staff
Jul 15, 2013 · a set is an injective object of the category of sets precisely when it is non–empty. In particular, there are enough injective sets in ZF, which ...
[23]
[PDF] 1 Having enough injectives 2 Categories of sheaves have enough ...
We have just shown that for any topological space X, ShC(X) also has enough injectives. We may now define the sheaf cohomology functors Hi : ShC(X) → C to be ...
[24]
injective object in nLab
Oct 10, 2010 · Being injective is a property of an object; the corresponding structure is called an algebraic injective.Definition · General definition · Injective modules · Properties
[25]
Vect in nLab
May 1, 2024 · The full subcategory of Vect consisting of finite-dimensional vector spaces may be denoted FinDimVect. This is a compact closed category.
[26]
[PDF] Tor and Ext
Using the injective resolution 0 -•. Z -> Q - • Q/Z -> 0 to compute Ext*(A, Z), we see that ExtS(A, Z) = 0 and available at https://www.cambridge.org/core ...
[27]
[PDF] Dimensions - Daniel Murfet
Jul 12, 2006 · The right global dimension of R, denoted r.gl.dim(R) is the global dimension of the abelian category ModR. Similarly the left global ...
[28]
[PDF] Homological Algebra
Algebraic Geometry. By SOLOMON LEFSCHETZ. 19. Homological Algebra. By HENRI CARTAN and SAMUEL EILENBERG. 20. The Convolution Transform. By I. I. HIRSCHMAN ...
[29]
[PDF] Spectral Sequences
Spectral sequences were invented by Jean Leray, as a prisoner of war during. World War II, in order to compute the homology (or cohomology) of a chain.
[30]
https://ncatlab.org/nlab/show/Vect
[31]
[PDF] Sheaf cohomology - Purdue Math
injective resolutions, and there the above theorem applies. The other thing to remark is there is a canonical flasque resolution due to Godement. 0 ! A ! G(A) ...
[32]
Proposition 28.23.4 (077P)—The Stacks project
Consequently, \mathit{QCoh}(\mathcal{O}_ X) has enough injectives and all limits. ... such that for every quasi-coherent sheaf \mathcal{F} the adjunction ...
[33]
Proposition 66.32.2 (077V)—The Stacks project
Consequently, \mathit{QCoh}(\mathcal{O}_ X) has enough injectives and all limits. ... such that for every quasi-coherent sheaf \mathcal{F} the adjunction ...
[34]
[PDF] Cohomology of Sheaves - Stacks Project
Godement resolution. 65. 31. Cup product. 66. 32. Some properties of ... C•(U, Iq) is a resolution (Lemma 24.1) of the injective sheaf Iq by injective sheaves.
[35]
[PDF] Manifolds and Varieties via Sheaves - Purdue Math
Feb 1, 2011 · Choose a partition of unity {φi}. Then ρ = P φiρi will give the desired function. Theorem 3.4.4. Given a C∞ manifold X, C∞. X is soft ...
[36]
[PDF] Lectures on the Hodge theory of projective manifolds - arXiv
Due to the existence of partitions of unity, the sheaf EM is what one calls a fine sheaf (see [10], page 42). Any sheaf of EM −modules is fine. In.
[37]
[PDF] Injectivity and sections - AIR Unimi
Let Pos denote the category of partially ordered sets and monotone map- pings. In such a category injective objects, with respect to the class of regular.<|control11|><|separator|>
[38]
[PDF] HOMOLOGICAL ALGEBRA WITH FILTERED MODULES
May 3, 2014 · This is now known simply as “Baer's Criterion. ... Let H be a class of morphisms in a category C and let {Ei}i∈I be a family of H-injective ...
[39]
Relative injective modules, superstability and noetherian categories
Aug 4, 2023 · We show that the \mathcal{M}-injective modules of theses classes satisfy a Baer-like criterion. In particular, injective modules, RD-injective ...
[40]
[PDF] BASIC CONCEPTS OF ENRICHED CATEGORY THEORY
Apr 23, 2005 · Key words and phrases: enriched categories, monoidal categories. Originally published by Cambridge University Press, London Mathematical Society ...
[41]
Quillen model structures for relative homological algebra - math - arXiv
Nov 26, 2000 · Finally, we explain how the category of simplicial objects in a possibly non-abelian category can be equipped with a model category ...
[42]
https://uknowledge.uky.edu/cgi/viewcontent.cgi?article=1017&context=math_etds
[43]
[PDF] INJECTIVE HULLS OF PARTIALLY ORDERED MONOIDS Introduction
Every object can be embedded into an injective envelope (5.8). Our construction is motivated by the 1970 paper of Bruns and Lakser who showed that the ...<|control11|><|separator|>
[44]
[PDF] quillen model structures for relative homological algebra
More generally, we show that under appro- priate hypotheses a projective class on a possibly non-abelian category A determines a model category structure on the ...
[45]
Projective and injective objects in symmetric categorical groups - arXiv
Jul 1, 2010 · Abstract:We prove that the 2-category of symmetric categorical groups have enough projective and injective objects.
[46]
[0809.3575] Abelian categories versus abelian 2-categories - arXiv
Sep 21, 2008 · We will give a rather trivial solution of this problem in the case when a given abelian category has enough projective or injective objects.