# Retraction and coretraction

In category theory, a **retraction** is understood to be a morphism

which has a right inverse, that is, for which there is a morphism

$$gives with

$$. The dual notion of a retraction is that of a **coretraction** (or **cut**), that is, a morphism that has a left inverse. The right inverse of a retraction is a coretraction and vice versa.

One object

$$one category

$$ means the *retract of* an object

,

when it’s in

a morphism

$$and a retraction

$$sync and corrections by n17t01

$$, i.e. a morphism

$$with

$$, there.

Every retraction is extreme and even regular epimorphism. Likewise, every coretraction is extreme and even regular monomorphism and even difference kernel.^{[1]}

## Special categories

### Topological spaces

The notion of retraction finds application in algebraic topology. In the category

$$ of topological spaces, all extreme monomorphisms and hence all coretractions are topological embeddings.^{[2]} This allows for a different view and definition in the case of topological spaces: a retraction is a continuous left inverse of a topological embedding. Or put more concretely: A retraction is a continuous mapping from a topological space into itself such that every element of the image set is a fixed point.^{[3]}

This also allows a concrete definition of the retract: A subspace

$$of a topological space

$$is called Retract of

$$if there’s a retraction

$$for embedding

$$there.

$$

is exactly then retract of

$$if every continuous mapping

$$steady to a mapping

$$can be continued:

- Is there a retraction
- A continuation of

In a Hausdorff room, each retract is self-contained: Be

$$Retract with retraction

$$. Now consider a convergent network

$$at

$$. The image network

$$converges towards

$$(since

$$continuous) and is equal to the original net. Since the boundary value of a mesh in Hausdorf spaces is unique, the following holds true

$$and

$$is closed. This is not true in non-Hausdorf spaces: in non-T₁-spaces there exist non-closed one-element sets, but they are obviously retracts. As an example of a T₁-space with non-closed retracts, consider the cofinite topology on

$$$$

with

$$and

$$for

$$is a retraction, but the image is not completed.

#### Deformation tract

$$

is called *deformation retract* of

if

$$homotopic to

$$relatively

$$is.

Deformation retractions are special homotopy equivalences that generate this equivalence relation.

#### Examples

##### Elementary example

The following figure is an illustrative example of a retraction in the real numbers:

##### Brouwer’s fixed point theorem in the one-dimensional case

Brouwer’s fixed point theorem states that every continuous mapping of a solid sphere has a fixed point in itself. A one-dimensional solid sphere corresponds topologically just to a closed interval, for instance

$$. If there were now a continuous, fixed point free mapping

$$then this would result in a retraction

$$by

$$(since the denominator would never disappear), i. e

$$would have to be retract from

$$ be. But such a retraction cannot exist, since coherence is preserved under continuous mappings.^{[3]}

##### Closed sub-areas of the Baire region

In the Baire room

$$applies: For any closed sub-areas (these are always Polish sub-areas)

$$sync and corrections by n17t01

$$Retract from

$$. Note that the Baire space is totally disjoint, and therefore the coherence notion does not provide any constraints on retracts.

### Arrow category

Be

$$a category, the corresponding arrow category is then the category of functors from the category with two objects and three morphisms into the category

$$. These are called arrows and can be linked to the morphisms in

$$can be identified. An arrow

$$is retract of an arrow

$$if it is a natural transformation (i.e., a commutative square)

$$and a retraction

$$so the following diagram commutates:

### Set Theory

In the category

$$of all sets and the functions between them, a morphism (that is, a function between two sets) is a retraction exactly if it is surjective. This statement is equivalent to the axiom of choice in set theory. Correspondingly, a morphism is a coretraction exactly if it is injective and there is a morphism in the opposite direction. However, this statement does not require the axiom of choice. From these statements it follows that in any concrete category the retractions must be surjective and the coretractions injective, which in general does not hold for general epi- or monomorphisms, which in the category of sets coincide with the retractions or coretractions.

## Individual references

- ↑ Dieter Pumplün: Elements of category theory. 1. Auflage. Spektrum Akademischer Verlag, Heidelberg 1999, ISBN 3-86025-676-9, p. 64.
- ↑
*extremal monomorphism*, entry in*nLab*. (English) - ↑
^{a}^{b}William Fulton: Algebraic Topology. 1. Edition. Springer, New York 1995. section 4b, ISBN 0-387-94327-7

- Category Theory
- Algebraic Topology