Adjoint (foncteur)

Adjoint (foncteur)

Adjoint (foncteur)

La notion d'adjonction est fondamentale. Elle généralise la notion d'équivalence entre deux catégories. En effet, si F: \mathcal{C}\to \mathcal{D} et G: \mathcal{D}\to \mathcal{C} définissent une équivalence de catégorie entre \mathcal{C} et \mathcal{D}, alors, F et G sont ajoints l'un à l'autre (et ce, "de tous les côtés possibles" : à droite et à gauche ou à gauche et à droite)

Définition

Soient C et D deux catégories, F un foncteur de C dans D et G de D dans C tels que pour tout objet X \in C et Y \in D on ait une bijection naturelle en chaque variable Hom _ D \left( F \left (X \right), Y\right) \approx Hom _ C \left( X , G \left (Y \right) \right). Alors F et G sont des foncteurs adjoints, F est adjoint à gauche de G et G est adjoint à droite de F.

Exemples

  • Le foncteur k-espace vectoriel libre et le foncteur oubli
  • Le module libre sur un ensemble et le foncteur d'oubli
  • Le foncteur de \mathcal(Top) dans \mathcal(Set) qui associe à un espace topologique l'ensemble sous-jacent, ademt un adjoint à gauche et un adjoint à droite. Son adjoint à gauche est le foncteur qui associe à un ensemble le même ensemble muni de la topologie discrète et son adjoint à droite est celui qui le munit de la topologie grossière.
  • Le foncteur de \mathcal(Grp) dans \mathcal(Ab) qui associe à un groupe son quotient par le groupe dérivé admet un adjoint à droite qui est le foncteur qui associe à un groupe commutatif dans \mathcal(Ab) lui même dans \mathcal(Grp).
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Adjoint (foncteur) ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Adjoint (foncteur) de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • Foncteur oubli — Foncteur En mathématiques, le foncteur est la généralisation aux catégories de la notion de morphismes. Sommaire 1 Définitions 1.1 Foncteurs adjoints 2 Exemples 3 …   Wikipédia en Français

  • Foncteur — En mathématiques, le foncteur est la généralisation aux catégories de la notion de morphisme. Sommaire 1 Définitions 1.1 Foncteurs adjoints 2 Exemples 3 …   Wikipédia en Français

  • Foncteur adjoint — La notion d adjonction est fondamentale. Elle généralise la notion d équivalence entre deux catégories. En effet, si et définissent une équivalence de catégorie entre et , alors, F et G sont adjoints l un à l autre (et ce, « de tous les… …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

  • Algèbre universelle — Pour les articles homonymes, voir Algèbre (homonymie). L algèbre universelle est la branche de l algèbre qui a pour but de traiter de manière générale et simultanée les différentes structures algébriques : groupes, monoïdes, anneaux, espaces …   Wikipédia en Français

  • CATÉGORIES ET FONCTEURS — Introduite en 1945 par Eilenberg et MacLane pour rendre compte de propriétés très générales des structures mathématiques, la théorie des catégories a quelque peu pâti, à ses débuts, de cette généralité qui lui valut auprès des «mathématiciens… …   Encyclopédie Universelle

  • Théorie des catégories — La théorie des catégories étudie les structures mathématiques et les relations qu elles entretiennent. Les catégories sont utilisées dans la plupart des branches mathématiques et dans certains secteurs de l informatique théorique et en… …   Wikipédia en Français

  • Dualite de Pontryagin — Dualité de Pontryagin En mathématiques, notamment en analyse harmonique et dans la théorie des groupes topologiques, la dualité de Pontryagin explique les principales propriétés de la transformée de Fourier. Elle place dans un cadre plus général… …   Wikipédia en Français

  • Dualité De Pontryagin — En mathématiques, notamment en analyse harmonique et dans la théorie des groupes topologiques, la dualité de Pontryagin explique les principales propriétés de la transformée de Fourier. Elle place dans un cadre plus général certaines observations …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”