# Section (category theory)

In category theory, a branch of mathematics, a section is a right inverse of a morphism. Dually, a retraction 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$.

Every section is a monomorphism, and every retraction is an epimorphism; in algebra the sections are also called split monomorphisms and the retractions split epimorphisms.

In an abelian category, if f:X→Y is a split epimorphism with section g:Y→X, then X is isomorphic to the direct sum of Y and the kernel of f.

## 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, it is also true that 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 Z→Z/2Z which sends every integer to its image modulo 2 does not split; in fact the only morphism Z/2Z→Z is the 0 map. Similarly, the natural monomorphism Z/2Z→Z/4Z doesn't split because there is no non-trivial homomorphism Z/4Z→Z/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 $\bar X$ with quotient map $\pi\colon X \to \bar X$, a section of $\pi$ is called a transversal.

↑Jump back a section

## See also

This category theory-related article is a stub. You can help Wikipedia by expanding it.
↑Jump back a section
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 11, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": false, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9053182005882263, "perplexity_flag": "head"}