Skip to content

Subfunctor

In category theory, a branch of mathematics, a subfunctor is a special type of functor that is an analogue of a subset.

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

Core Idea

Subfunctor is treated here as the recurring category theory identity summarized by this source-grounded definition: In category theory, a branch of mathematics, a subfunctor is a special type of functor that is an analogue of a subset. In category theory, a branch of mathematics, a subfunctor is a special type of functor that is an analogue of a subset. A contravariant functor G from \mathcal{C} to Set is a subfunctor of F if. For all arrows f: c' \rightarrow c of \mathcal{C} , G(f) is the restriction of F(f) to G(c') .

Scope of Application

  • Definition. A functor F: 1 → Set maps the unique object of 1 to some set S and the unique identity arrow of 1 to the identity function 1 S on S.

  • Definition. A subfunctor G of F maps the unique object of 1 to a subset T of S and maps the unique identity arrow to the identity function 1 T on T.

  • Remarks. Such a subfunctor is called a sieve, and it is usually used when defining Grothendieck topologies.

  • Open subfunctors. Subfunctors are also used in the construction of representable functors on the category of ringed spaces.

  • Definition. Let \mathcal{C} be a category, and let F be a contravariant functor from \mathcal{C} to the category of sets Set.

Clarity

A clear use of Subfunctor 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, a subfunctor is a special type of functor that is an analogue of a subset.

Manages Complexity

Subfunctor compresses multiple category theory details into a stable diagnostic relation. The source shows both the central mechanism—if F is covered by representable open subfunctors, then, under certain conditions, it can be shown that F is representable.—and the practical consequence—for all objects c of \mathcal{C} , G© \subseteq F© , and. This compression makes cases comparable while leaving parameters, conventions, exceptions, and evidential quality explicit.

Abstract Reasoning

  1. Type the carrier. Identify the category theory entities to which the claim applies.
  2. State the relation. Use the source-grounded identity: In category theory, a branch of mathematics, a subfunctor is a special type of functor that is an analogue of a subset.
  3. Check operation and conditions. It was discovered and exploited heavily by Alexander Grothendieck, who applied it especially to the case of schemes.
  4. Demand recognition evidence.

Knowledge Transfer

Within the home domain. Knowledge about Subfunctor transfers literally when a new case preserves the same carrier type, relation, and recognition test. A functor F: 1 → Set maps the unique object of 1 to some set S and the unique identity arrow of 1 to the identity function 1 S on S. A subfunctor G of F maps the unique object of 1 to a subset T of S and maps the unique identity arrow to the identity function 1 T on T. Beyond the home domain. No canonical parent is asserted for Subfunctor.

Relationships to Other Abstractions

Local relationship map for SubfunctorParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.SubfunctorDOMAINDomain-specific abstraction: Functor — is a kind ofFunctorDOMAIN

Current abstraction Subfunctor Domain-specific

Parents (1) — more general patterns this builds on

  • Subfunctor is a kind of Functor Domain-specific

    A subfunctor is a functor embedded componentwise inside another functor, with inclusion compatibility as its differentia.

Hierarchy paths (4) — routes to 4 parentless roots

Neighborhood in Abstraction Space

Subfunctor sits in a moderately populated region (41st percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Algebraic Structures, Groups & Operators (42 abstractions)

Nearest neighbors

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