Effaceable Functor¶

An additive functor for which every object embeds by a map whose induced functor morphism is zero.

Version: v1 · 2026-10-03 · History
Domain-specific #: 13179
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Homological Algebra, Abelian Categories → Mathematics
Aliases: Effaceability of a functor

Core Idea¶

An additive functor \(F:\mathcal A\to\mathcal B\) between abelian categories is effaceable when, for every object \(A\) of \(\mathcal A\), one can find a monomorphism \(u:A\hookrightarrow B\) such that the induced morphism \(F(u):F(A)\to F(B)\) is zero. The chosen \(B\) and embedding may vary with \(A\). The condition says that each object's functorial image can be killed by a suitable embedding; it does not require \(F(B)\) itself to be the zero object.^[1]^[2]

Effaceability becomes especially powerful for cohomological \(\delta\)-functors \(F^n\). If every positive-degree term is effaceable in the stated sense, the whole family is universal: a natural transformation on degree zero extends uniquely and compatibly to all degrees. That theorem explains why separate constructions of cohomology or derived functors can be identified once their degree-zero parts agree. Universality is a consequence in this richer setting, not the definition of a single effaceable functor.^[2]^[3]

Structural Signature¶

Sig role-phrases:

Additive functor with morphism action — \(F\) maps both objects and arrows of one abelian category into another. The test concerns the arrow \(F(u)\), not just the value of \(F\) on objects.
Every-object quantifier — Each source object \(A\) must have some permitted effacing embedding. One example object is not enough.^[2]
Monic effacement map — The chosen \(u:A\hookrightarrow B\) retains the source object as a subobject, giving the direction used for cohomological effaceability.
Zero induced map — \(F(u)=0\) is the defining equation. Vanishing of \(F(B)\) is a convenient sufficient route but stronger than required.
Degreewise extension, when present — For a cohomological \(\delta\)-functor, each \(F^n\) with \(n>0\) can be effaced independently; the selected \(B\) may depend on both \(A\) and \(n\). Long exact sequences then support the universal-extension proof.^[2]

What It Is Not¶

Not an acyclic-target definition. Embedding \(A\) into \(B\) with \(F(B)=0\) certainly gives a zero induced map, but the formal condition is \(F(u)=0\). A source seed for this entry mistakenly substituted the sufficient stronger condition for the definition.
Not the same as a derived functor. Right derived functors in positive degree often furnish effaceable examples through injective embeddings. Effaceability is a property used to characterize their comparison behavior, not their construction.
Not automatically a universal \(\delta\)-functor. A lone additive functor has no degree-zero-to-all-degrees comparison to extend. The theorem needs a cohomological family and its exactness structure.^[2]
Not coeffaceability. The dual condition uses epimorphisms into an object and is suited to the dual homological direction; swapping the arrow silently changes the property.

Scope of Application¶

Effaceability belongs to homological algebra and category-theoretic cohomology. The Stacks Project proves that positive-degree effacement of a cohomological \(\delta\)-functor implies its universal property. For a left-exact functor on an abelian category with enough injectives, right derived functors \(R^nG\) vanish on injective objects in positive degrees; embedding each \(A\) into an injective \(I\) therefore gives a straightforward effacement.^[4] In a different construction, Čech cohomology of presheaves for a suitable cover is shown effaceable and then identified with the right derived functors of its degree-zero term.^[3]

These examples share the monomorphism-and-zero-map test. They do not show that all functors are effaceable or that one injective target works for every degree and object.

Clarity¶

The decisive distinction is between zero target value and zero induced arrow. If \(F(B)=0\), the arrow \(F(A)\to F(B)\) is necessarily zero. The converse need not be true: a zero morphism can have a nonzero codomain. Confusing the two excludes legitimate effacements. A second distinction concerns quantifiers: the condition is “for each \(A\), some \(u\),” and in the degreewise theorem “for each \(n>0\) and \(A\), some \(u\).” It is not a claim that one universal embedding kills every value.^[2]

Manages Complexity¶

Two cohomology constructions may have different definitions and higher-degree formulas. Effaceability reduces a difficult all-degrees comparison to a local vanishing check plus the \(\delta\)-functor axioms. Once universality is established, a degree-zero transformation has at most one compatible higher-degree extension; when two universal families agree at degree zero, they agree in the uniquely prescribed way. The apparent complexity of infinitely many degreewise comparisons is compressed into a reusable criterion, but only after the exactness and naturality conditions have been verified.^[2]

Abstract Reasoning¶

Fix \(n>0\) and \(A\). Choose a monomorphism \(u:A\to B\) with \(F^n(u)=0\), and write \(C=B/A\). The short exact sequence \(0\to A\to B\to C\to0\) yields a long exact sequence. Because the map out of \(F^n(A)\) is zero, exactness makes \(F^n(A)\) reachable from the connecting map out of \(F^{n-1}(C)\). In the Stacks proof, this gives a cokernel description of \(F^n(A)\) using one lower degree, permitting an inductive construction of a unique compatible transformation from degree zero upward.^[2] The proof is not “\(F^n(B)=0\), therefore done”: only the induced arrow is assumed to vanish.

Knowledge Transfer¶

The test transfers among different cohomology settings by replacing the objects, embeddings and functors while preserving the categorical roles. In right derived functors, injective objects provide a strong acyclicity witness. In Čech cohomology on presheaves, a different complex and cover construction furnishes the effacement that leads to the same universality comparison.^[4]^[3] What transfers is not the exact formula for each cohomology group but the local killability → global universal-extension argument. It remains a mathematical abstraction; using “effaceable” metaphorically for erasing a record is not this categorical condition.

Examples¶

Right derived functors of a left-exact functor¶

Let \(G:\mathcal A\to\mathcal B\) be left exact and suppose \(\mathcal A\) has enough injectives. Embed an arbitrary \(A\) into an injective \(I\). The Stacks Project states \(R^nG(I)=0\) for \(n>0\); consequently \(R^nG(A)\to R^nG(I)\) is zero. This strong acyclic-target construction certifies the required induced-map condition. The right derived family is a universal \(\delta\)-functor.^[4]

Mapped back: Functor → \(R^nG\); arbitrary object → \(A\); monomorphism → \(A\hookrightarrow I\); zero induced morphism → arrow into \(R^nG(I)=0\); degreewise family → all \(n>0\), under the cited hypotheses.

Čech cohomology on presheaves¶

For a fixed suitable covering family, the Stacks Project treats positive-degree Čech cohomology as a \(\delta\)-functor on abelian presheaves. Its proof verifies higher cohomology vanishes on injective presheaves, giving effaceability. The universal property then identifies the Čech \(\delta\)-functor with the right derived functors of its degree-zero part.^[3] This is a separate cohomology construction, not a second name for an injective resolution.

Mapped back: Functor → \(\check H^n\) of the chosen cover; arbitrary object → presheaf; monomorphism → embedding into an injective presheaf; zero map → higher Čech value on that injective is zero; family → universal \(\delta\)-functor and derived comparison.

Structural Tensions¶

No opposed forces are intrinsic to the definition of an effaceable functor. A genuine proof-method tension arises only when choosing how to establish effaceability or universality:

Injective-resolution convenience versus theorem generality. Where enough injectives and the relevant derived-functor hypotheses are available, vanishing on injective targets gives a convenient route to positive-degree effacement. Requiring that route in every theorem statement narrows its stated setting, however: the zero-induced-map criterion and the delta-functor comparison can be argued using suitable monomorphisms and exactness without silently assuming an injective target for every witness. Favoring the injective route simplifies certification under its hypotheses but requires a separate argument elsewhere; favoring the more general criterion retains that reach but requires objectwise witnesses and compatibility proofs. The broader conclusion cannot be obtained from the injective-only proof after dropping its assumptions. Diagnostic: Are the injective-resolution hypotheses established here, or must the zero induced maps and delta-functor compatibility be proved directly?^[1]^[2]^[4]

Structural–Framed Character¶

The identity is strongly structural within homological algebra. Its equation, monomorphism direction and quantifiers are formally checkable. Its evaluative weight is mathematical: a successful condition enables a theorem, not an ethical ranking. Its human-practice dependence lies in the choice of functor and proof strategy, while the zero-map fact is internal to the formal category. Its institutional origin in the mathematical literature gives terminology rather than a convention that changes the theorem. Its vocabulary travels between derived and Čech cohomology when the same arrow condition is present. Import versus recognition requires verifying the categorical data, not merely describing something as “erased.”

The portable skeleton is local witnesses yielding a global uniqueness result under exactness. That skeleton alone is not enough to name this object outside abelian-category theory. Its character: a quantifier-sensitive mathematical property with a powerful comparison consequence in \(\delta\)-functor contexts.

Structural Core vs. Domain Accent¶

Skeletal relation. For every input object, select a structure-preserving extension on which a designated induced transformation vanishes. The selected extensions may differ from case to case. In a cohomological family, exactness propagates this local vanishing into unique higher-degree comparison.

Domain-bound condition. The input and output are abelian categories, the operation is an additive functor on arrows, and the witness is a monomorphism with \(F(u)=0\). Removing those elements leaves an informal idea of “making something disappear,” not effaceability in homological algebra. The universal-extension consequence additionally needs a positive-degree \(\delta\)-functor.

Prime bar. The local-to-global form may resemble other proofs, but the name and diagnostic do not literally classify arbitrary physical or institutional mechanisms. Its useful recurrence is among mathematical cohomology constructions. It therefore remains domain-specific even though it is highly abstract.

This entry is a kind of Functor.

The live Functor is the strict parent: every effaceable additive functor preserves categorical identities and composition, while monic effacement adds the specialist constraint. An additive-functor intermediate is not live and is not required for this broader edge. Delta Functor is the setting in which positive-degree effaceability yields universality; a bare effaceable additive functor need not be a \(\delta\)-functor. Derived Functor is a major application/example, not a genus.

Relationships to Other Abstractions¶

Current abstraction Effaceable Functor Domain-specific

Parents (1) — more general patterns this builds on

Effaceable Functor is a kind of Functor Domain-specific

An effaceable additive functor is a functor constrained by every-object monic effacement.

Hierarchy paths (4) — routes to 4 parentless roots

Effaceable Functor → Functor → Category → Associativity → Invariance

Show alternative paths (3)

Neighborhood in Abstraction Space¶

Effaceable Functor sits in a sparse region of the domain-specific corpus (64^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Categories, Sheaves & Homotopy (21 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With¶

Derived Functor is a construction from a functor and resolutions; its positive-degree terms may be effaceable, but the property is not the construction. Delta Functor is a compatible sequence of functors with connecting morphisms and long exact sequences; effaceability can be checked on its positive degrees, but an isolated effaceable \(F\) is not the whole sequence. Acyclic object means a given functor vanishes in relevant higher degrees on that object, a strong witness for effacement rather than the definition. Coeffaceable reverses the embedding direction to the dual epimorphism condition.

References¶

[1] Alexander Grothendieck, “Sur quelques points d'algèbre homologique” (English translation), §2.2, printed p. 22 (PDF p. 30), original definition of an effaceable additive functor and the qualified relation to injective objects; directly checked. registry ↩a ↩b

[2] Stacks Project, §12.12 “Cohomological delta-functors”, especially Lemma 12.12.4 with proof, directly checked. Definition 12.12.3 names universality; the lemma's hypothesis uses a zero induced map \(F^n(u)\), not a zero functor value on the target. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i

[3] Stacks Project, Lemma 21.9.6 “Čech cohomology as a functor on presheaves”, directly checked for effaceability and derived-functor comparison under the lemma's covering assumptions. registry ↩a ↩b ↩c ↩d

[4] Stacks Project, §13.20 “Right derived functors and injective resolutions”, Lemma 13.20.4 directly checked for injective-object acyclicity and universality. registry ↩a ↩b ↩c ↩d