To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Languages
Recent
Show all languages
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

# Section (category theory)

f is a retraction of g. g is a section of f.

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 : XY and g : YX are morphisms whose composition f o g : YY is the identity morphism on Y, then g is a section of f, and f is a retraction of g.[1]

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

In algebra, sections are also called split monomorphisms and retractions are also called split epimorphisms. In an abelian category, if f : XY is a split epimorphism with split monomorphism g : YX, then X is isomorphic to the direct sum of Y and the kernel of f. The synonym coretraction for section is sometimes seen in the literature, although rarely in recent work.

## Terminology

The concept of a retraction in category theory comes from the essentially similar notion of a retraction in topology: ${\displaystyle f:X\to Y}$ where ${\displaystyle Y}$ is a subspace of ${\displaystyle X}$ is a retraction in the topological sense, if it's a retraction of the inclusion map ${\displaystyle i:Y\hookrightarrow X}$ in the category theory sense. The concept in topology was defined by Karol Borsuk in 1931.[2]

Borsuk's student, Samuel Eilenberg, was with Saunders Mac Lane the founder of category theory, and since 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. 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.[3] The term coretraction gave way to the term section by the end of the 1960s.

Both use of left/right inverse and section/retraction are commonly seen in the literature: the former use has the advantage that it is familiar from the theory of semigroups and monoids; the latter is considered less confusing by some because one does not have to think about 'which way around' composition goes, an issue that has become greater with the increasing popularity of the synonym f;g for g∘f.[4]

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

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.

In the category of abelian groups, the epimorphism ZZ/2Z which sends every integer to its remainder modulo 2 does not split; in fact the only morphism Z/2ZZ is the zero map. Similarly, the natural monomorphism Z/2ZZ/4Z doesn't split even though there is a non-trivial morphism Z/4ZZ/2Z.

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.

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

## Bibliography

• Mac Lane, Saunders (1978). Categories for the working mathematician (2nd ed.). Springer Verlag.
• Barry, Mitchell (1965). Theory of categories. Academic Press.