Adequate subcategory¶

In category theory, a branch of mathematics, an adequate subcategory of a category X is an analog of a dense subspace in topology for presheaves: namely, a subcategory i : A \hookrightarrow X such that the restriction of the Yoneda embedding X \hookrightarrow \mathbf{P}(X) along i is still fully faithful.

Version: v1 · 2026-09-28 · History
Domain-specific #: 7882
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Category Theory → Mathematics

Core Idea¶

Adequate subcategory is treated here as the recurring mathematics_logic_statistics identity summarized by this source-grounded definition: In category theory, a branch of mathematics, an adequate subcategory of a category X is an analog of a dense subspace in topology for presheaves: namely, a subcategory i : A \hookrightarrow X such that the restriction of the Yoneda embedding X \hookrightarrow \mathbf{P}(X) along i is still fully faithful.

In category theory, a branch of mathematics, an adequate subcategory of a category X is an analog of a dense subspace in topology for presheaves: namely, a subcategory i : A \hookrightarrow X such that the restriction of the Yoneda embedding X \hookrightarrow \mathbf{P}(X) along i is still fully faithful. The notion was introduced by Isbell in 1960. Note some authors use the term dense subcategory for this notion, although it can mean a different thing in other contexts.

For Adequate subcategory, the abstraction is narrower than the article's general subject matter: a positive case must preserve In category theory, a branch of mathematics, an adequate subcategory of a category X is an analog of a dense subspace in topology for presheaves: namely, a subcategory i : A \hookrightarrow X such that the restriction of the Yoneda embedding X \hookrightarrow \mathbf{P}(X) along i is still fully faithful. Retaining only the name, a familiar example, or a downstream effect is insufficient. The specialist roles and tests remain anchored in mathematics_logic_statistics, which is why this identity is domain-specific rather than prime.

How would you explain it like I'm…

Enough Tester Toys

Imagine you can only learn about toys by seeing how some special tester toys fit into them. The testers are called adequate if that's always enough: just by watching how the testers fit into any two toys, you can tell exactly all the ways those two toys fit together.

Probes That Tell All

In a part of math called category theory, you study objects and the arrows (maps) between them. An adequate subcategory is a smaller collection of objects chosen as 'probes.' For each object, you record how all the probes map into it. The collection is adequate if these records are enough to recover every arrow between any two objects exactly: every way the records can match up comes from exactly one real arrow. It's like how the rational numbers are enough to pin down every point on the number line. Some authors call this a dense subcategory, but that phrase can mean something else too.

Restricted Yoneda Full Faithfulness

In category theory, an adequate subcategory of a category X is a subcategory A such that each object of X is fully described by the maps into it from objects of A. Precisely, the Yoneda embedding sends each object of X to the presheaf of maps into it; an adequate subcategory is one where restricting that description to maps coming from A is still fully faithful. That means maps between two objects of X correspond exactly to compatible families of maps seen from A, so A is enough to probe all of X. The idea is an analog of a dense subspace in topology, and it was introduced by Isbell in 1960. Some authors use the name dense subcategory for this, but that term can mean something different in other contexts.

An adequate subcategory of a category X is a subcategory i: A ↪ X such that the restricted Yoneda functor X → P(A), sending x to Hom_X(i(−), x), is fully faithful. In other words, morphisms between objects of X correspond bijectively to natural transformations between their presheaves of A-probes, so objects and maps of X are completely controlled by how objects of A map into them. It is the categorical analog, for presheaves, of a dense subspace in topology. Isbell introduced the notion in 1960. Some authors call it a dense subcategory, but that phrase has other meanings in other contexts, so the definition should be stated explicitly.

Structural Signature¶

Sig role-phrases:

Defining carrier — The notion was introduced by Isbell in 1960.
Constitutive relation — Note some authors use the term dense subcategory for this notion, although it can mean a different thing in other contexts.
Operating condition — In category theory, a branch of mathematics, an adequate subcategory of a category X is an analog of a dense subspace in topology for presheaves: namely, a subcategory i : A \hookrightarrow X such that the restriction of the Yoneda embedding X \hookrightarrow \mathbf{P}(X) along i is still fully faithful.
Recognition evidence — The notion was introduced by Isbell in 1960.
Admissible variation — Note some authors use the term dense subcategory for this notion, although it can mean a different thing in other contexts.
Characteristic consequence — In category theory, a branch of mathematics, an adequate subcategory of a category X is an analog of a dense subspace in topology for presheaves: namely, a subcategory i : A \hookrightarrow X such that the restriction of the Yoneda embedding X \hookrightarrow \mathbf{P}(X) along i is still fully faithful.
Failure boundary — The notion was introduced by Isbell in 1960.

What It Is Not¶

Not the whole field of mathematics_logic_statistics. The node requires the specific identity stated by In category theory, a branch of mathematics, an adequate subcategory of a category X is an analog of a dense subspace in topology for presheaves: namely, a subcategory i : A \hookrightarrow X such that the restriction of the Yoneda embedding X \hookrightarrow \mathbf{P}(X) along i is still fully faithful.
Not an over-broad reading. Note some authors use the term dense subcategory for this notion, although it can mean a different thing in other contexts.
Not an over-broad reading. In category theory, a branch of mathematics, an adequate subcategory of a category X is an analog of a dense subspace in topology for presheaves: namely, a subcategory i : A \hookrightarrow X such that the restriction of the Yoneda embedding X \hookrightarrow \mathbf{P}(X) along i is still fully faithful.
Not an over-broad reading. The notion was introduced by Isbell in 1960.
Not automatically Subcategory. Retrieval proximity does not establish equivalence; the two identities must be compared by carrier, operation, and failure boundary.

Scope of Application¶

Adequate subcategory applies literally inside mathematics_logic_statistics wherever the source-defined carrier and relation can be established. Its documented habitats include:

Documented setting. Note some authors use the term dense subcategory for this notion, although it can mean a different thing in other contexts.
Documented setting. In category theory, a branch of mathematics, an adequate subcategory of a category X is an analog of a dense subspace in topology for presheaves: namely, a subcategory i : A \hookrightarrow X such that the restriction of the Yoneda embedding X \hookrightarrow \mathbf{P}(X) along i is still fully faithful.
Documented setting. The notion was introduced by Isbell in 1960.
Documented setting. Note some authors use the term dense subcategory for this notion, although it can mean a different thing in other contexts.
Documented setting. In category theory, a branch of mathematics, an adequate subcategory of a category X is an analog of a dense subspace in topology for presheaves: namely, a subcategory i : A \hookrightarrow X such that the restriction of the Yoneda embedding X \hookrightarrow \mathbf{P}(X) along i is still fully faithful.
Documented setting. The notion was introduced by Isbell in 1960.

Outside mathematics_logic_statistics, the name should be retained only when these same operational conditions survive; otherwise the comparison belongs to the broader parent Theory or should be marked as analogy.

Clarity¶

A clear use of Adequate subcategory names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is In category theory, a branch of mathematics, an adequate subcategory of a category X is an analog of a dense subspace in topology for presheaves: namely, a subcategory i : A \hookrightarrow X such that the restriction of the Yoneda embedding X \hookrightarrow \mathbf{P}(X) along i is still fully faithful. The strongest recognition evidence in the frozen account is: The notion was introduced by Isbell in 1960. A report should distinguish that evidence from a proxy, consequence, or common implementation. It should also state the qualification Note some authors use the term dense subcategory for this notion, although it can mean a different thing in other contexts. so that a reader can reproduce the classification rather than infer it from topical resemblance.

Manages Complexity¶

Adequate subcategory compresses multiple mathematics_logic_statistics details into a stable diagnostic relation. The source shows both the central mechanism—note some authors use the term dense subcategory for this notion, although it can mean a different thing in other contexts.—and the practical consequence—in category theory, a branch of mathematics, an adequate subcategory of a category X is an analog of a dense subspace in topology for presheaves: namely, a subcategory i : A \hookrightarrow X such that the restriction of the Yoneda embedding X \hookrightarrow \mathbf{P}(X) along i is still fully faithful. This compression makes cases comparable while leaving parameters, conventions, exceptions, and evidential quality explicit. It is lossy by design: local history and implementation details may be omitted only when they do not alter the defining relation.

Abstract Reasoning¶

Type the carrier. Identify the mathematics_logic_statistics entities to which the claim applies.
State the relation. Use the source-grounded identity: In category theory, a branch of mathematics, an adequate subcategory of a category X is an analog of a dense subspace in topology for presheaves: namely, a subcategory i : A \hookrightarrow X such that the restriction of the Yoneda embedding X \hookrightarrow \mathbf{P}(X) along i is still fully faithful.
Check operation and conditions. In category theory, a branch of mathematics, an adequate subcategory of a category X is an analog of a dense subspace in topology for presheaves: namely, a subcategory i : A \hookrightarrow X such that the restriction of the Yoneda embedding X \hookrightarrow \mathbf{P}(X) along i is still fully faithful.
Demand recognition evidence. The notion was introduced by Isbell in 1960.
Test variation. Change an implementation or setting while preserving note some authors use the term dense subcategory for this notion, although it can mean a different thing in other contexts.
Run the collapse test. Remove the defining operation; if the label still seems equally apt, only a topic or correlate was retained.
Reduce cautiously. When the specialist conditions cannot be carried, route the residual comparison to Theory.

Knowledge Transfer¶

Within the home domain. Knowledge about Adequate subcategory transfers literally when a new case preserves the same carrier type, relation, and recognition test. Note some authors use the term dense subcategory for this notion, although it can mean a different thing in other contexts. In category theory, a branch of mathematics, an adequate subcategory of a category X is an analog of a dense subspace in topology for presheaves: namely, a subcategory i : A \hookrightarrow X such that the restriction of the Yoneda embedding X \hookrightarrow \mathbf{P}(X) along i is still fully faithful.

Beyond the home domain. No canonical parent is asserted for Adequate subcategory. An outside case receives the specialist name only when the same typed roles and rejection conditions can be filled literally; otherwise the comparison remains an analogy pending later graph densification.

Examples¶

Canonical¶

Note some authors use the term dense subcategory for this notion, although it can mean a different thing in other contexts. This case is canonical because it supplies a concrete carrier and lets the defining relation be checked rather than merely named.

Mapped back: carrier → the entities in the documented case; operation → In category theory, a branch of mathematics, an adequate subcategory of a category X is an analog of a dense subspace in topology for presheaves: namely, a subcategory i : A \hookrightarrow X such that the restriction of the Yoneda embedding X \hookrightarrow \mathbf{P}(X) along i is still fully faithful; recognition evidence → The notion was introduced by Isbell in 1960

Applied / In Practice¶

In category theory, a branch of mathematics, an adequate subcategory of a category X is an analog of a dense subspace in topology for presheaves: namely, a subcategory i : A \hookrightarrow X such that the restriction of the Yoneda embedding X \hookrightarrow \mathbf{P}(X) along i is still fully faithful. The applied case shows how the identity is used under a second setting or qualification while keeping the same operative relation.

Mapped back: changed setting → the applied context; invariant → In category theory, a branch of mathematics, an adequate subcategory of a category X is an analog of a dense subspace in topology for presheaves: namely, a subcategory i : A \hookrightarrow X such that the restriction of the Yoneda embedding X \hookrightarrow \mathbf{P}(X) along i is still fully faithful; boundary → the case exits the class when note some authors use the term dense subcategory for this notion, although it can mean a different thing in other contexts

Structural Tensions¶

T1 — Stable identity versus admissible variation. Note some authors use the term dense subcategory for this notion, although it can mean a different thing in other contexts. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Which changes preserve the defining relation, and which replace it?

T2 — Recognition versus proxy. In category theory, a branch of mathematics, an adequate subcategory of a category X is an analog of a dense subspace in topology for presheaves: namely, a subcategory i : A \hookrightarrow X such that the restriction of the Yoneda embedding X \hookrightarrow \mathbf{P}(X) along i is still fully faithful. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Does the cited evidence establish the identity or only a correlated sign?

T3 — Definition versus implementation. The notion was introduced by Isbell in 1960. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Is the observed implementation constitutive, optional, or merely common?

T4 — Scope versus overextension. Note some authors use the term dense subcategory for this notion, although it can mean a different thing in other contexts. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Can every claimed application fill the same typed roles without metaphor?

T5 — Transfer versus domain accent. The notion was introduced by Isbell in 1960. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Does the receiving case instantiate Adequate subcategory literally, co-instantiate Theory, or only resemble it?

T6 — Autonomy versus reduction. Note some authors use the term dense subcategory for this notion, although it can mean a different thing in other contexts. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: What does Adequate subcategory distinguish that the broader parent Theory leaves together?

Structural–Framed Character¶

Adequate subcategory is structural-leaning. Its structural side is the repeatable organization summarized by In category theory, a branch of mathematics, an adequate subcategory of a category X is an analog of a dense subspace in topology for presheaves: namely, a subcategory i : A \hookrightarrow X such that the restriction of the Yoneda embedding X \hookrightarrow \mathbf{P}(X) along i is still fully faithful. Its framed side is the mathematics_logic_statistics vocabulary that fixes the carrier, evidence, exceptions, and admissible transformations.

Evaluative weight: the identity can be stated descriptively even when applications carry practical stakes. Human-practice dependence: the source-grounded carrier determines whether the relation exists independently or is constituted by a practice. Institutional origin: disciplinary conventions stabilize the name and test. Vocabulary portability: In category theory, a branch of mathematics, an adequate subcategory of a category X is an analog of a dense subspace in topology for presheaves: namely, a subcategory i : A \hookrightarrow X such that the restriction of the Yoneda embedding X \hookrightarrow \mathbf{P}(X) along i is still fully faithful. Import versus recognition: literal transfer requires the same mechanism; shape alone is analogy.

Its portable skeleton is Theory. Its character: a recurring specialist identity whose thin organization can be abstracted, while its operational meaning remains domain-bound.

Structural Core vs. Domain Accent¶

What is skeletal. In category theory, a branch of mathematics, an adequate subcategory of a category X is an analog of a dense subspace in topology for presheaves: namely, a subcategory i : A \hookrightarrow X such that the restriction of the Yoneda embedding X \hookrightarrow \mathbf{P}(X) along i is still fully faithful. The stable skeleton is the typed relation expressed in that definition and the entry's recognition and collapse tests. The source identifies these operative conditions: The notion was introduced by Isbell in 1960. Note some authors use the term dense subcategory for this notion, although it can mean a different thing in other contexts. It further constrains recognition and variation through: In category theory, a branch of mathematics, an adequate subcategory of a category X is an analog of a dense subspace in topology for presheaves: namely, a subcategory i : A \hookrightarrow X such that the restriction of the Yoneda embedding X \hookrightarrow \mathbf{P}(X) along i is still fully faithful. The notion was introduced by Isbell in 1960.

What is domain-bound. mathematics logic statistics supplies the operative entities, technical vocabulary, warrants, and exceptions that make Adequate subcategory literal. Its documented scope includes the condition that Note some authors use the term dense subcategory for this notion, although it can mean a different thing in other contexts. Another bounded application condition is that In category theory, a branch of mathematics, an adequate subcategory of a category X is an analog of a dense subspace in topology for presheaves: namely, a subcategory i : A \hookrightarrow X such that the restriction of the Yoneda embedding X \hookrightarrow \mathbf{P}(X) along i is still fully faithful. These are not decorative examples; they determine which carrier and evidence can fill the abstraction's roles.

Why no parent is asserted. Removing those specialist details does not currently yield one live catalog node that is a necessary genus for every instance. The entry is therefore approved as unparented rather than attached by topical resemblance. Its collapse evidence remains specific—Note some authors use the term dense subcategory for this notion, although it can mean a different thing in other contexts.—and future graph densification may discover a defensible relation only if it preserves that boundary.

This entry is a kind of Subcategory.

Approved unparented node. No current live node supplies a defensible necessary genus or structural prerequisite for Adequate subcategory. The reviewed identity is: In category theory, a branch of mathematics, an adequate subcategory of a category X is an analog of a dense subspace in topology for presheaves: namely, a subcategory i : A \hookrightarrow X such that the restriction of the Yoneda embedding X \hookrightarrow \mathbf{P}(X) along i is still fully faithful. The accelerated suggestion was declined because topical or lexical similarity does not establish hierarchy; the node is admitted without a parent pending later graph densification.
Related reasoning operations. Evidence, representation, comparison, classification, transformation, or evaluation may participate in particular cases, but participation does not make any one of them a necessary parent of every instance.

Relationships to Other Abstractions¶

Current abstraction Adequate subcategory Domain-specific

Parents (1) — more general patterns this builds on

Adequate subcategory is a kind of Subcategory Domain-specific

Adequate subcategory is a strict kind of Subcategory: its frozen identity entails the parent's defining structure while adding domain-specific restrictions.

Hierarchy path (1) — routes to 1 parentless root

Adequate subcategory → Subcategory → Structural Filtering → Selection

Neighborhood in Abstraction Space¶

Adequate subcategory sits in a moderately populated region (46^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Category Theory & Homotopical Algebra (18 abstractions)

Nearest neighbors

Section (category theory) — 0.88
Profunctor — 0.87
Topological Algebra — 0.87
Small category — 0.86
Subfunctor — 0.86

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

Not to Be Confused With¶

Theory. The parent omits the specialist differentia. Tell: Can the case establish In category theory, a branch of mathematics, an adequate subcategory of a category X is an analog of a dense subspace in topology for presheaves: namely, a subcategory i : A \hookrightarrow X such that the restriction of the Yoneda embedding X \hookrightarrow \mathbf{P}(X) along i is still fully faithful?
Subcategory. A category whose objects and morphisms are selected from a parent category while retaining the same sources, targets, identity morphisms, and composition. Tell: Which entry's carrier, operation, and failure condition are satisfied?
Coherent category. Equip a regular category with finite unions of subobjects that remain stable under pullback, providing categorical semantics for finite-limit, existential, and finite-disjunctive reasoning. Tell: Which entry's carrier, operation, and failure condition are satisfied?
Localizing Subcategory. A Serre subcategory whose exact quotient functor admits a right-adjoint section, so the objects it annihilates define a recoverable Gabriel localization of an abelian category. Tell: Which entry's carrier, operation, and failure condition are satisfied?
A measurement, proxy, or consequence. Those may provide evidence without being the identity. Tell: Would Adequate subcategory remain present if the detector or downstream effect changed?
A metaphorical analogue. A similar shape outside mathematics_logic_statistics lacks the specialist mechanism. Tell: Do the native roles transfer literally, or only the parent Theory?

References¶

Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Adequate_subcategory (revision 1356472094).
Preserved source candidate: http://www.tac.mta.ca/tac/reprints/articles/1/tr1.pdf
Preserved source candidate: https://kerodon.net/tag/03V8
Preserved source candidate: https://webhomes.maths.ed.ac.uk/~tl/docs/Isbell_Adequate_subcategories.pdf

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.