Section (théorie des catégories)

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.

Pour les articles homonymes, voir Section.

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

  • 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

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Section (category theory) » (voir la liste des auteurs).
  1. (en) Jaap van Oosten, « Basic Category Theory », sur Université d'Utrecht, , p. 6.
  2. Georges Poitou et Paul Jaffard, Introduction aux catégories et aux problèmes universels, Paris, Ediscience, , p. 66.

Article connexe

Suite exacte

  • Portail des mathématiques
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.