nLab projective object

Definition

General

Definition

An object $P$ of a category $C$ is projective (with respect to epimorphisms) if it has the left lifting property against epimorphisms.

This means that $P$ is projective if for any

1. morphism$\;f \colon P \to B$

2. epimorphism$\;q \colon A \twoheadrightarrow B$,

$f$ factors through $q$, making a commuting diagram (a lift) of this form:

Yet another way to say this is that:

Definition

An object $P$ is projective precisely if the hom-functor $Hom(P,-)$ preserves epimorphisms.

Remark

This generalizes the notion of projective modules over a ring.

Remark

There are variations of the definition where “epimorphism” is replaced by some other type of morphism, such as a regular epimorphism or strong epimorphism or the left class in some orthogonal factorization system. In this case one may speak of regular projectives and so on. In a regular category “projective” almost always means “regular projective.”

If the ambient category has an initial object $\emptyset$, then the projective objects $P$ are those for which $\emptyset \stackrel{\exists!}{\to} P$ is called a projective morphism.

Remark

The dual notion is that of injective objects.

Remark

There is also a stronger notion of projective object, where $\hom(C, -)$ preserves coequalizers. See more at tiny object, which can be defined as projective connected objects with “projective” used in this stronger sense.

Definition

A category $C$ has enough projectives if for every object $X$ there is an epimorphism $P\to X$ where $P$ is projective.

Equivalently: if every object admits a projective presentation.

This terminology refers to the existence of projective resolutions, prop. below.

In abelian categories

Projective objects and injective objects in abelian categories $\mathcal{A}$ are of central interest in homological algebra. Here they appear as parts of cofibrant resolutions and fibrant resolutions, respectively, in the category of chain complexes $Ch_\bullet(\mathcal{A})$, with respect to one of the two standard model structures on chain complexes.

Equivalent characterizations

Proposition

The following are equivalent

1. $X \in \mathcal{A}$ is a projective object (in that it has the left lifting property against epimorphisms, def. );

2. The hom-functor $Hom(X,-) : \mathcal{A} \to$ Ab is an exact functor.

Remark

For every object $X$, the hom-functor $Hom(X,-)$ is a left exact functor. So the second statement is equivalently that it is also right exact precisely if $X$ is projective.

Proof

of prop.

Let

$$0 \to A \stackrel{i}{\hookrightarrow} B \stackrel{p}{\to} C \to 0$$

be a short exact sequence. The exactness at $A$ and $B$ together is equivalent to the statement that $i = \ker(p)$. Since as remarked above $Hom(X, -)$ is left exact, it preserves kernels and so $Hom(X, i) = \ker(Hom(X, p))$, giving exactness of the sequence

$$0 \to Hom(X,A) \stackrel{Hom(X,i)}{\to} Hom(X,B) \stackrel{Hom(X,p)}{\to} Hom(X,C) \,.$$

Therefore we are reduced to showing that $Hom(X,p)$ is an epimorphism precisely if $X$ is projective. But this is def. .

Projective resolutions

Let $\mathcal{A}$ be an abelian category.

Definition

For $N \in \mathcal{A}$ an object, a projective resolution of $N$ is a chain complex $(Q N)_\bullet \in Ch_\bullet(\mathcal{A})$ equipped with a chain map

$$Q N \to N$$

(with $N$ regarded as a complex concentrated in degree 0) such that

1. this morphism is a quasi-isomorphism (this is what makes it a resolution), which is equivalent to

   $$\cdots \to (Q N)_1 \to (Q N)_0 \to N$$

   being an exact sequence;

2. all whose entries $(Q N)_n$ are projective objects.

Remark

This means precisely that $Q N \to N$ is an cofibrant resolution with respect to the standard model structure on chain complexes (see here) for which the fibrations are the positive-degreewise epimorphisms. Notice that in this model structure every object is fibrant, so that cofibrant resolutions are the only resolutions that need to be considered.

Proposition

If $\mathcal{A}$ has enough projectives in the sense of def. , then every object has a projective resolution.

Examples

Remark

The axiom of choice can be phrased as “all objects of Set are projective.”

See also internally projective object and COSHEP.

Example

If $C$ has pullbacks and epimorphisms are preserved by pullback, as is the case in a pretopos, then $P$ is projective iff any epimorphism $Q\to P$ is split.

Example

An object in Ab, an abelian group, is projective precisely if it is a free group.

Example

For $R$ a commutative ring, an object in $R$Mod, an $R$-module, is projective (a projective module, see there for more details) precisely if it is a direct summand of a free module. See at projective module for more on this.

Example

The projective objects in compact Hausdorff topological spaces are precisely the extremally disconnected profinite sets.

Properties

Existence of enough projectives

We list examples of classes of categories that have enough projective, according to def. .

Proposition

Assuming the axiom of choice, for $R$ a ring the category $R$Mod of modules over $R$ is has enough projectives.

See at projective module for more.

Lemma

Assuming the axiom of choice, a free module $N \simeq R^{(S)}$ is projective.

Proof

By remark and the free-forgetful adjunction.

More explicitly: if $S \in Set$ and $F(S) = R^{(S)}$ is the free module on $S$, then a module homomorphism $F(S) \to N$ is specified equivalently by a function $f : S \to U(N)$ from $S$ to the underlying set of $N$, which can be thought of as specifying the images of the unit elements in $R^{(S)} \simeq \oplus_{s \in S} R$ of the ${\vert S\vert}$ copies of $R$.

Accordingly then for $\tilde N \to N$ an epimorphism, the underlying function $U(\tilde N) \to U(N)$ is an epimorphism, and by remark the axiom of choice in Set says that we have all lifts $\tilde f$ in

$$\array{ && U(\tilde N) \\ & {}^{\tilde f} \nearrow & \downarrow \\ S &\stackrel{f}{\to}& U(N) } \,.$$

By adjunction these are equivalently lifts of module homomorphisms

$$\array{ && \tilde N \\ & \nearrow & \downarrow \\ R^{(S)} &\stackrel{}{\to}& N } \,.$$

Proof

of prop.

For $N \in R Mod$ and $U(N) \in Set$ its underlying set, consider the $R$-linear map

$$\left( \oplus_{n \in U(N)} R \right) \to N$$

out of the direct sum of ${\vert U(N)\vert}$ copies of $N$, which sends the unit element $1 \in R_{n}$ of the $n$-labeled copy of $R$ to the corresponding element of $N$ (and is thus fixed on all other elements by $R$-linearity).

This is clearly a surjection and by lemma it is a surjection out of a projective object.

A slightly subtle point is that there is no guarantee that the free module $F U(M)$ is actually projective, unless one assumes some form of the axiom of choice. Since the axiom of choice is not available in all toposes, one cannot use this procedure in general to construct, say, projective resolutions of abelian sheaves, hence in the abelian category $Ab(E)$ of abelian group objects in a general Grothendieck topos $E$ (even though one can construct free resolutions), such as needed in general in abelian sheaf cohomology.

There are however weak forms of the axiom of choice that hold in many toposes, such as the presentation axiom, aka COSHEP. We have the following result:

Proposition

Let $E$ be a W-pretopos that satisfies COSHEP. Then $Ab(E)$ has enough projectives.

The idea of the proof is that under COSHEP, the underlying object of an abelian group $A$ in $E$ admits an epimorphism from a projective object $p \colon X \to U(A)$ in $E$. Then the corresponding $F(X) \to A$ is an epimorphism out of a projective in $Ab(E)$, for this map is a composite of epimorphisms

$$F(X) \stackrel{F(p)}{\to} F U(A) \stackrel{\varepsilon_A}{\to} A$$

(the first is epic because left adjoints preserve epis, whereas the second map, the component of the counit $\varepsilon \colon F U \to id$ at $A$, is epic because $U$ is faithful).

Related concepts

• choice object

• COSHEP

• projective object, projective presentation, projective cover, projective resolution

  • projective module

  • internally projective object

  • compact projective object

• injective object, injective presentation, injective envelope, injective resolution

  • injective module

• free object, free resolution

  • free module

• flat object, flat resolution

  • flat module

References

For instance section 4.3 of

• Pierre Schapira, Categories and homological algebra (2011) (pdf)