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 mathematicslogicstatistics 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.

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.

Scope of Application¶

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.
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.

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.

Manages Complexity¶

Adequate subcategory compresses multiple mathematicslogicstatistics 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.

Abstract Reasoning¶

Type the carrier. Identify the mathematicslogicstatistics 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.

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).

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