Section (category theory)¶

In category theory, a branch of mathematics, a section is a right inverse of some morphism.

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

Core Idea¶

Section (category theory) is treated here as the recurring cross_domain_models_structures_representations identity summarized by this source-grounded definition: In category theory, a branch of mathematics, a section is a right inverse of some morphism.

In category theory, a branch of mathematics, a section is a right inverse of some morphism. Dually, a retraction is a left inverse of some morphism. In other words, if f: X\to Y and g: Y\to X are morphisms whose composition f \circ g: Y\to Y is the identity morphism on Y , then g is a section of f , and f is a retraction of g .

Every section is a monomorphism (every morphism with a left inverse is left-cancellative), and every retraction is an epimorphism (every morphism with a right inverse is right-cancellative). If there exists a section from Y to X , then we say that Y is a retract of X . In algebra, sections are also called split monomorphisms and retractions are also called split epimorphisms.

For Section (category theory), the abstraction is narrower than the article's general subject matter: a positive case must preserve In category theory, a branch of mathematics, a section is a right inverse of some morphism. Retaining only the name, a familiar example, or a downstream effect is insufficient. The specialist roles and tests remain anchored in cross_domain_models_structures_representations, which is why this identity is domain-specific rather than prime.

Structural Signature¶

Sig role-phrases:

Defining carrier — The term coretraction gave way to the term section by the end of the 1960s.
Constitutive relation — In the category of vector spaces over a field K, every monomorphism and every epimorphism splits; this follows from the fact that linear maps can be uniquely defined by specifying their values on a basis.
Operating condition — The concept in topology was defined by Karol Borsuk in 1931.
Recognition evidence — Borsuk's student, Samuel Eilenberg, was with Saunders Mac Lane the founder of category theory, and (as the earliest publications on category theory concerned various topological spaces) one might have expected this term to have initially be used.
Admissible variation — In fact, their earlier publications, up to, e.g., Mac Lane (1963)'s Homology, used the term right inverse.
Characteristic consequence — It was not until 1965 when Eilenberg and John Coleman Moore coined the dual term 'coretraction' that Borsuk's term was lifted to category theory in general.
Failure boundary — In the category of sets, every monomorphism (injective function) with a non-empty domain is a section, and every epimorphism (surjective function) is a retraction; the latter statement is equivalent to the axiom of choice.

What It Is Not¶

Not the whole field of cross_domain_models_structures_representations. The node requires the specific identity stated by In category theory, a branch of mathematics, a section is a right inverse of some morphism.
Not an over-broad reading. It was not until 1965 when Eilenberg and John Coleman Moore coined the dual term 'coretraction' that Borsuk's term was lifted to category theory in general.
Not an over-broad reading. In the category of abelian groups, the epimorphism Z → Z/2Z which sends every integer to its remainder modulo 2 does not split; in fact the only morphism Z/2Z → Z is the zero map.
Not an over-broad reading. Borsuk's student, Samuel Eilenberg, was with Saunders Mac Lane the founder of category theory, and (as the earliest publications on category theory concerned various topological spaces) one might have expected this term to have initially be used.
Not automatically Opposite category. Retrieval proximity does not establish equivalence; the two identities must be compared by carrier, operation, and failure boundary.

Scope of Application¶

Section (category theory) applies literally inside cross_domain_models_structures_representations wherever the source-defined carrier and relation can be established. Its documented habitats include:

Terminology. Borsuk's student, Samuel Eilenberg, was with Saunders Mac Lane the founder of category theory, and (as the earliest publications on category theory concerned various topological spaces) one might have expected this term to have initially be used.
Terminology. In fact, their earlier publications, up to, e.g., Mac Lane (1963)'s Homology, used the term right inverse.
Examples. In the category of sets, every monomorphism (injective function) with a non-empty domain is a section, and every epimorphism (surjective function) is a retraction; the latter statement is equivalent to the axiom of choice.
Terminology. It was not until 1965 when Eilenberg and John Coleman Moore coined the dual term 'coretraction' that Borsuk's term was lifted to category theory in general.
Terminology. The term coretraction gave way to the term section by the end of the 1960s.
Examples. In the category of vector spaces over a field K, every monomorphism and every epimorphism splits; this follows from the fact that linear maps can be uniquely defined by specifying their values on a basis.

Outside cross_domain_models_structures_representations, 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 Section (category theory) 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 section is a right inverse of some morphism. The strongest recognition evidence in the frozen account is: Borsuk's student, Samuel Eilenberg, was with Saunders Mac Lane the founder of category theory, and (as the earliest publications on category theory concerned various topological spaces) one might have expected this term to have initially be used. A report should distinguish that evidence from a proxy, consequence, or common implementation. It should also state the qualification It was not until 1965 when Eilenberg and John Coleman Moore coined the dual term 'coretraction' that Borsuk's term was lifted to category theory in general. so that a reader can reproduce the classification rather than infer it from topical resemblance.

Manages Complexity¶

Section (category theory) compresses multiple cross_domain_models_structures_representations details into a stable diagnostic relation. The source shows both the central mechanism—in the category of vector spaces over a field K, every monomorphism and every epimorphism splits; this follows from the fact that linear maps can be uniquely defined by specifying their values on a basis.—and the practical consequence—it was not until 1965 when Eilenberg and John Coleman Moore coined the dual term 'coretraction' that Borsuk's term was lifted to category theory in general. 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 cross_domain_models_structures_representations entities to which the claim applies.
State the relation. Use the source-grounded identity: In category theory, a branch of mathematics, a section is a right inverse of some morphism.
Check operation and conditions. The concept in topology was defined by Karol Borsuk in 1931.
Demand recognition evidence. Borsuk's student, Samuel Eilenberg, was with Saunders Mac Lane the founder of category theory, and (as the earliest publications on category theory concerned various topological spaces) one might have expected this term to have initially be used.
Test variation. Change an implementation or setting while preserving in fact, their earlier publications, up to, e.g., Mac Lane (1963)'s Homology, used the term right inverse.
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 Section (category theory) transfers literally when a new case preserves the same carrier type, relation, and recognition test. Borsuk's student, Samuel Eilenberg, was with Saunders Mac Lane the founder of category theory, and (as the earliest publications on category theory concerned various topological spaces) one might have expected this term to have initially be used. In fact, their earlier publications, up to, e.g., Mac Lane (1963)'s Homology, used the term right inverse.

Beyond the home domain. No canonical parent is asserted for Section (category theory). 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¶

In fact, their earlier publications, up to, e.g., Mac Lane (1963)'s Homology, used the term right inverse. 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, a section is a right inverse of some morphism; recognition evidence → Borsuk's student, Samuel Eilenberg, was with Saunders Mac Lane the founder of category theory, and (as the earliest publications on category theory concerned various topological spaces) one might have expected this term to have initially be used

Applied / In Practice¶

The categorical concept of a section is important in homological algebra, and is also closely related to the notion of a section of a fiber bundle in topology: in the latter case, a section of a fiber bundle is a section of the bundle projection map of the fiber bundle. 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 → Examples; invariant → In category theory, a branch of mathematics, a section is a right inverse of some morphism; boundary → the case exits the class when it was not until 1965 when Eilenberg and John Coleman Moore coined the dual term 'coretraction' that Borsuk's term was lifted to category theory in general

Structural Tensions¶

T1 — Stable identity versus admissible variation. It was not until 1965 when Eilenberg and John Coleman Moore coined the dual term 'coretraction' that Borsuk's term was lifted to category theory in general. 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 the category of abelian groups, the epimorphism Z → Z/2Z which sends every integer to its remainder modulo 2 does not split; in fact the only morphism Z/2Z → Z is the zero map. 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. Borsuk's student, Samuel Eilenberg, was with Saunders Mac Lane the founder of category theory, and (as the earliest publications on category theory concerned various topological spaces) one might have expected this term to have initially be used. 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. In fact, their earlier publications, up to, e.g., Mac Lane (1963)'s Homology, used the term right inverse. 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 term coretraction gave way to the term section by the end of the 1960s. 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 Section (category theory) literally, co-instantiate Theory, or only resemble it?

T6 — Autonomy versus reduction. In the category of vector spaces over a field K, every monomorphism and every epimorphism splits; this follows from the fact that linear maps can be uniquely defined by specifying their values on a basis. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: What does Section (category theory) distinguish that the broader parent Theory leaves together?

Structural–Framed Character¶

Section (category theory) is mixed or framed-leaning. Its structural side is the repeatable organization summarized by In category theory, a branch of mathematics, a section is a right inverse of some morphism. Its framed side is the cross_domain_models_structures_representations 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: The concept in topology was defined by Karol Borsuk in 1931. 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, a section is a right inverse of some morphism. 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 term coretraction gave way to the term section by the end of the 1960s. In the category of vector spaces over a field K, every monomorphism and every epimorphism splits; this follows from the fact that linear maps can be uniquely defined by specifying their values on a basis. It further constrains recognition and variation through: The concept in topology was defined by Karol Borsuk in 1931. Borsuk's student, Samuel Eilenberg, was with Saunders Mac Lane the founder of category theory, and (as the earliest publications on category theory concerned various topological spaces) one might have expected this term to have initially be used.

What is domain-bound. cross domain models structures representations supplies the operative entities, technical vocabulary, warrants, and exceptions that make Section (category theory) literal. Its documented scope includes the condition that Borsuk's student, Samuel Eilenberg, was with Saunders Mac Lane the founder of category theory, and (as the earliest publications on category theory concerned various topological spaces) one might have expected this term to have initially be used. Another bounded application condition is that In fact, their earlier publications, up to, e.g., Mac Lane (1963)'s Homology, used the term right inverse. 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—In fact, their earlier publications, up to, e.g., Mac Lane (1963)'s Homology, used the term right inverse.—and future graph densification may discover a defensible relation only if it preserves that boundary.

Approved unparented node. No current live node supplies a defensible necessary genus or structural prerequisite for Section (category theory). The reviewed identity is: In category theory, a branch of mathematics, a section is a right inverse of some morphism. 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.

Neighborhood in Abstraction Space¶

Section (category theory) sits in a moderately populated region (44^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Category Theory & Homotopical Algebra (18 abstractions)

Nearest neighbors

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, a section is a right inverse of some morphism?
Opposite category. The category obtained by retaining every object and reversing the direction of every morphism and composition order. Tell: Which entry's carrier, operation, and failure condition are satisfied?
Regular Category. A finitely complete category in which every morphism has a pullback-stable regular-epimorphism–monomorphism image factorization—equivalently, kernel-pair quotients exist and regular epimorphisms remain regular under pullback. Tell: Which entry's carrier, operation, and failure condition are satisfied?
Frobenioid. A category equipped with degree, divisor-like, and Frobenius structure that categorifies monoid actions arising from arithmetic line bundles. 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 Section (category theory) remain present if the detector or downstream effect changed?
A metaphorical analogue. A similar shape outside cross_domain_models_structures_representations 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/Section_(category_theory) (revision 1355786660).
Preserved source candidate: http://eudml.org/doc/212513
Preserved source candidate: http://worldcat.org/oclc/1361982

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.