# Section (category theory)

﻿
Section (category theory)

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

If section of a morphism exists, it is called sectionable. Dually, if retraction of a morphism exists, it is called retractable.

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.

Every section is a monomorphism, and every retraction is an epimorphism; they are called respectively a split monomorphism and a split epimorphism (the inverse is the splitting).

## Examples

Given a quotient space $\bar X$ with quotient map $\pi\colon X \to \bar X$, a section of π is called a transversal.

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Cone (category theory) — In category theory, a branch of mathematics, the cone of a functor is an abstract notion used to define the limit of that functor. Cones make other appearances in category theory as well. Contents 1 Definition 2 Equivalent formulations 3 Category …   Wikipedia

• Section — may refer to:* Section (bookbinding), papers folded during bookbinding * Section (botany) * Section (category theory), also in homological algebra, and including: ** Section (fiber bundle), in topology ** Part of a sheaf (mathematics) * Section… …   Wikipedia

• Section (theorie des categories) — Section (théorie des catégories) Dans le domaine mathématique de la théorie des catégories, en se prenant un couple , tel que (l identité sur Y), on appelle g une section de f, et f une retraction de g. En d autres termes, une section est l… …   Wikipédia en Français

• Section (mathematics) — In mathematics, section can refer to: * Section (category theory), also in homological algebra, and including: ** Section (fiber bundle), in topology * Section (group theory), a subquotient of a group * Cross section (geometry), the intersection… …   Wikipedia

• Section (théorie des catégories) — Pour les articles homonymes, voir Section. Dans le domaine mathématique de la théorie des catégories, en se prenant un couple , tel que (l identité sur Y), on appelle g une section de f, et f une rétraction …   Wikipédia en Français

• Category (mathematics) — In mathematics, a category is an algebraic structure that comprises objects that are linked by arrows . A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. A …   Wikipedia

• Category of being — In metaphysics (in particular, ontology), the different kinds or ways of being are called categories of being or simply categories. To investigate the categories of being is to determine the most fundamental and the broadest classes of entities.… …   Wikipedia

• Fibred category — Fibred categories are abstract entities in mathematics used to provide a general framework for descent theory. They formalise the various situations in geometry and algebra in which inverse images (or pull backs) of objects such as vector bundles …   Wikipedia

• Von Neumann–Bernays–Gödel set theory — In the foundations of mathematics, von Neumann–Bernays–Gödel set theory (NBG) is an axiomatic set theory that is a conservative extension of the canonical axiomatic set theory ZFC. A statement in the language of ZFC is provable in NBG if and only …   Wikipedia

• Number theory — A Lehmer sieve an analog computer once used for finding primes and solving simple diophantine equations. Number theory is a branch of pure mathematics devoted primarily to the study of the integers. Number theorists study prime numbers (the… …   Wikipedia