Section (théorie des catégories)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/8d/Section_retract.svg/220px-Section_retract.svg.png)
Dans le domaine mathématique de la théorie des catégories, si on a un couple de morphismes , tel que (le morphisme identité de Y, souvent réalisé par l'application identité sur Y), on dit que g est une section de f, et que f est une rétraction de g.
En d'autres termes, une section est un inverse à droite, et une rétraction est un inverse à gauche (ce sont deux notions duales).
Le concept au sens des catégories de ces notions est particulièrement important en algèbre homologique, et est étroitement lié à la notion de section d'un fibré en topologie.
Toute section est un monomorphisme et toute rétraction est un épimorphisme. Elles sont respectivement appelées[1] split mono et split epi. Même dans le cas de la catégorie des ensembles, il n'y a nullement unicité, par exemple, si f est une surjection mais pas une bijection, on peut construire (en admettant l'axiome du choix) plusieurs sections de f.
Exemples
[modifier | modifier le code]- Soit un espace quotient quotienté par l'application , une section de est appelée une transversale (en).
- Soit et deux catégories et un foncteur covariant de dans . Alors, si est une section (resp. une rétraction) de , la flèche est une section (resp. une rétraction) de [2].
Références
[modifier | modifier le code]- (en) Jaap van Oosten, « Basic Category Theory », sur Université d'Utrecht, , p. 6.
- Georges Poitou et Paul Jaffard, Introduction aux catégories et aux problèmes universels, Paris, Ediscience, , p. 66.