Theorie des categories

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 mathématiques de la physique. Elles forment une notion unificatrice. Cette théorie a été mise en place par Samuel Eilenberg et Saunders Mac Lane en 1942-1945, en lien avec la topologie algébrique et propagée dans les années 1960-70 en France par Alexander Grothendieck qui en fit une étude systématique ; elle connaît dans les années 2000 une grande notoriété sous l'impulsion de Colin McLarty, entre autres.

Sommaire

1 Éléments de base
2 Définition
3 Exemples
4 Catégorie duale
5 Propriétés des flèches
- 5.1 Définitions
- 5.2 Exemples
6 Somme et produit d'une famille d'objets en théorie des catégories
7 Remarques
8 Notes et références
9 Voir aussi
10 Bibliographie
11 Lien externe

Éléments de base

L'étude des catégories, très abstraite, fut motivée par l'abondance de caractéristiques communes à diverses classes liées à des structures mathématiques.

Voici un exemple. La classe Grp des groupes comprend tous les objets ayant une « structure de groupe ». Plus précisément, Grp comprend tous les ensembles G muni d'une relation binaire qui satisfait un certain ensemble d'axiomes. Des théorèmes peuvent ainsi être prouvés en effectuant des déductions logiques à partir de cet ensemble d'axiomes. Par exemple, ils apportent la preuve directe que l'élément identité d'un groupe est unique.

Au lieu d'étudier simplement l'objet seul (les groupes) qui possède une structure donnée, comme les théories mathématiques l'ont toujours fait, la théorie des catégories met l'accent sur les morphismes et les processus qui préservent la structure entre deux objets. Il apparaît qu'en étudiant ces morphismes l'on est capable d'en apprendre plus sur la structure des objets.

Dans notre exemple, les morphismes étudiés sont les homomorphismes de groupes. Un homomorphisme de groupe entre deux groupes préserve la structure de groupe d'une manière très précise ; c'est un processus qui à un groupe en associe un autre, tout en préservant toutes les informations sur la structure du premier groupe au sein du second groupe. L'étude des homomorphismes de groupe fournit alors un outil pour étudier les propriétés générales des groupes et les conséquences des axiomes relatifs aux groupes.

Il existe une intervention extérieure similaire dans de nombreuses théories mathématiques. Une catégorie est une formulation axiomatique relative à l'idée de relier des structures mathématiques aux fonctions qui préservent leur structure. Une étude systématique des catégories permet de prouver des résultats généraux à partir des axiomes d'une catégorie.

Une catégorie est elle-même un type de structure mathématique dont il existe des processus qui préservent sa structure. De tels processus sont appelés foncteurs.

Définition

Composition des morphismes

Associativité de la composition

Une catégorie $\mathcal C$ , dans le langage de la théorie des classes, est la donnée de quatre éléments :

d'une classe dont les éléments sont appelés objets,
d'un ensemble $\mathrm{Hom}\big(A,B \big)$ , pour chaque paire d'objets $\quad A$ et $\quad B$ , dont les éléments $\quad f$ sont appelés morphismes (ou flèches) entre $\quad A$ et $\quad B$ , et sont parfois notés $f:A\rightarrow\; B$ ,
d'un morphisme $\mathrm{id}_A:A\rightarrow\;A$ , pour chaque objet $\quad A$ , appelé identité sur $\quad A$ ,
d'un morphisme $g\circ f:A\rightarrow\;C$ pour toute paire de morphismes $f:A\rightarrow\;B$ et $g:B\rightarrow\;C$ , appelé composée de $\quad f$ et $\quad g$ , tel que :

la composition est associative : pour tous morphismes $f:c\rightarrow\;d$ , $g:b\rightarrow\;c$ et $h:a\rightarrow\;b$ ,

$(f\circ g)\circ h=f\circ(g\circ h)$ ,

les identités sont des éléments neutres de la composition : pour tout morphisme $f:A\rightarrow\;B$ ,

$\mathrm{id}_B\circ f=f=f\circ\mathrm{id}_{A}$ .

On demande aussi que : $\mathrm {Hom} (A, B) \cap \mathrm {Hom} (C, D) = \varnothing$ si $\big(A, B\big)\neq \big(C, D\big)$ .

Lorsqu'une catégorie est courante, certains lui donnent comme nom l'abréviation du nom de ses objets, entre parenthèses, pour signaler qu'il s'agit de leur catégorie ; nous suivrons ici cette convention.

Exemples

La catégorie $\mathcal(Ens)$ , dont les objets sont les ensembles, et les flèches les applications, avec la composition usuelle des applications. En particulier, on voit que les objets d'une catégorie ne forment pas forcément un ensemble !
La catégorie $\mathcal (Top)$ , dont les objets sont les espaces topologiques, et les flèches les applications continues, avec la composition usuelle.
La catégorie $\mathcal(Met)$ , dont les objets sont les espaces métriques, et les flèches les applications uniformément continues, avec la composition usuelle.
La catégorie $\mathcal(Mon)$ , dont les objets sont les monoïdes et les flèches les morphismes, avec la composition usuelle.
La catégorie $\mathcal(Grp)$ , dont les objets sont les groupes et les flèches les morphismes, avec la composition usuelle.
La catégorie $\mathcal(Ab)$ , dont les objets sont les groupes abéliens et les flèches les morphismes, avec la composition usuelle.
La catégorie $\mathcal(ACU)$ , dont les objets sont les anneaux commutatifs unitaires et les flèches les morphismes, avec la composition usuelle.
La catégorie $\mathcal(Ord)$ , dont les objets sont les ensembles ordonnés et les flèches les applications croissantes.

Les exemples précédents ont une propriété en commun : les flèches sont toujours des applications, et les objets des ensembles (ce sont des catégories concrètes) ; cette propriété est très particulière. Voici des exemples de catégories sans cette propriété :

On se donne un monoïde $(M,*,e)\,$ , et on définit la catégorie $M\,$ ainsi :

objets : un seul
flèches : les éléments du monoïde, elles partent toute de l'unique objet pour y revenir ;
composition : donnée par la loi du monoïde (l'identité est donc la flèche associée à $e\,$ ).

On se donne un ensemble $E\,$ muni d'une relation réflexive et transitive $R\,$ , et on définit la catégorie associée ainsi :

objets : les éléments de l'ensemble ;
flèches : pour tous objets $e\,$ et $f\,$ , il existe une flèche de $e\,$ vers $f\,$ si et seulement si $eRf\,$ (et pas de flèche sinon) ;
composition : la composée de deux flèches est la seule flèche qui réunit les deux extrémités (la relation est transitive !) ; l'identité est la seule flèche qui relie un objet à lui-même (la relation est réflexive !).

Cet exemple est particulièrement intéressant dans le cas suivant : l'ensemble est l'ensemble des ouverts d'un espace topologique, et la relation est l'inclusion ; cela permet de définir les notions de préfaisceau et de faisceau, via les foncteurs.

Catégorie duale

À partir d'une catégorie $\mathcal C$ , on peut définir une autre catégorie $\mathcal C^{op}$ (ou $\mathcal C ^ o$ ), dite opposée ou duale, en prenant les mêmes objets, mais en inversant le sens des flèches.

Plus précisément : $Hom_{\mathcal C^{op}}(A,B)=Hom_{\mathcal C}(B,A)$ , et la composition de deux flèches opposées est l'opposée de leur composition :

$f^{op}\circ g^{op}=(g\circ f)^{op}$

Il est clair que la catégorie duale de la catégorie duale est la catégorie de départ : $(\mathcal C^{op})^{op}=\mathcal C$ .

Cette dualisation extrêmement simple permet de symétriser la plupart des énoncés, ce qui peut être douloureux pour les débutants...

Propriétés des flèches

Définitions

Une flèche $f:A\rightarrow\; B$ est dite un monomorphisme lorsqu'elle vérifie la propriété suivante : pour tout couple $g,h\,$ de flèches $E\rightarrow\; A$ (et donc aussi pour tout $E\,$ ), si $f\circ g=f\circ h$ , alors $g=h\,$ .

Une flèche $f:A\rightarrow\; B$ est dite un épimorphisme lorsqu'elle vérifie la propriété suivante : pour tout couple $g,h\,$ de flèches $B\rightarrow\; E$ (et donc aussi pour tout $E\,$ ), si $g\circ f=h\circ f$ , alors $g=h\,$ .

Les notions de monomorphisme et d'épimorphisme sont duales l'une de l'autre : une flèche est un monomorphisme si et seulement si elle est un épimorphisme dans la catégorie duale.

Isomorphisme

Une flèche $f:A\rightarrow\; B$ est dite un isomorphisme s'il existe une flèche $g:B\rightarrow\; A$ telle que $g\circ f=I_A$ et $f\circ g=I_B$ . Cette notion est autoduale.

Exemples

Dans la catégorie des ensembles, les monomorphismes sont les injections, les épimorphismes sont les surjections et les isomorphismes sont les bijections.
Un contre-exemple important en théorie des catégories : un morphisme peut à la fois être un monomorphisme et un épimorphisme, sans être pour autant un isomorphisme ; pour voir ce contre-exemple, il faut se placer dans la catégorie des anneaux commutatifs unitaires, et considérer la flèche (unique!) $\mathbb Z\rightarrow\mathbb Q$ : elle est un monomorphisme car provient d'une application injective, un épimorphisme par localisation, mais n'est clairement pas un isomorphisme!
On trouve aussi de tels épimorphisme-monomorphisme non-isomorphiques dans la catégories des espaces topologiques : toute injection y est un monomorphisme, toute surjection est un épimorphisme, les isomorphismes sont les homéomorphismes, mais il y a des fonctions continues à la fois injectives et surjectives qui ne sont pas des homéomorphismes : par exemple l'identité sur un ensemble muni de deux topologies différentes, l'une plus grossière que l'autre.
Dans la catégorie des ensembles ordonnés les isomorphismes sont les bijections croissantes (elles sont nécessairement strictement croissantes).

Somme et produit d'une famille d'objets en théorie des catégories

Etant donnée une famille $(X_i)i\in I$ , la somme de la famille $\quad (X_i)$ est la donnée d'un objet $\quad X$ de $\mathcal C$ et pour tout $\quad X_i$ d'une flèche $\phi_i: X_i \rightarrow\; X$ vérifiant la propriété universelle :

quels que soient l'objet $\quad Y$ et les flèches $f_i:X_i\rightarrow\;Y$ de $\mathcal C$ il existe une unique flèche $f:X \rightarrow\;Y$ telle que le diagramme :

somme

soit commutatif.

Etant donnée une famille $(X_i)i\in I$ , le produit de la famille $\quad (X_i)$ est la donnée d'un objet $\quad X$ de $\mathcal C$ et pour tout $\quad X_i$ d'une flèche $\pi_i: X \rightarrow\; X_i$ vérifiant la propriété universelle :

quels que soient l'objet $\quad Y$ et les flèches $f_i:Y\rightarrow\;X_i$ de $\mathcal C$ il existe une unique flèche $f:Y\rightarrow\;X$ telle que le diagramme :

produit

soit commutatif.

S'ils existent, les sommes et les produits sont uniques aux isomorphismes près.^[1]

On permute ces définitions en inversant les flèches des diagrammes : une somme [respectivement un produit] dans $\mathcal C$ est un produit [respectivement une somme] dans sa duale.

Remarques

Il arrive parfois que l'on oublie les objets d'une catégorie et que l'on ne s'intéresse plus qu'aux flèches, en substituant la flèche identité à l'objet.
Il existe la catégorie des petites catégories, où la classe des objets est un ensemble, ainsi que la catégorie des foncteurs d'une petite catégorie à une autre : les morphismes sont les transformation naturelles. On voit ici le rôle joué par la théorie des classes NBG.

Notes et références

↑ M. Zisman, Topologie algébrique élémentaire Armand Colin 1972 p.10

Voir aussi

Bibliographie

(en) Saunders Mac Lane, Categories for the working mathematician [détail des éditions]

Lien externe

Théorie des catégories, sur le site de l'université McGill (Canada)

Portail des mathématiques

Ce document provient de « Th%C3%A9orie des cat%C3%A9gories ».

Catégories : Fondements des mathématiques | Théorie | Théorie des catégories

Wikimedia Foundation. 2010.

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

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

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
Section (theorie des categories) — Section (théorie des catégories) Dans le domaine mathématique de la théorie des catégories, en se prenant un couple , tel que (l identité sur Y), on appelle g une section de f, et f une retraction de g. En d autres termes, une section est l… … Wikipédia en Français
Section (théorie des catégories) — Pour les articles homonymes, voir Section. Dans le domaine mathématique de la théorie des catégories, en se prenant un couple , tel que (l identité sur Y), on appelle g une section de f, et f une rétraction … Wikipédia en Français
Théorie des ensembles (usuelle) — Théorie naïve des ensembles Les ensembles sont d une importance fondamentale en mathématiques; en fait, de manière formelle, la mécanique interne des mathématiques (nombres, relations, fonctions, etc.) peut se définir en termes d ensembles. Il y… … Wikipédia en Français
Theorie des ensembles de von Neumann-Bernays-Godel — Théorie des ensembles de von Neumann–Bernays–Gödel La théorie des ensembles de von Neumann–Bernays–Gödel, abrégée en NBG ou théorie des classes, est une théorie axiomatique essentiellement équivalente[1] à la théorie ZFC de Zermelo–Fraenkel avec… … Wikipédia en Français
Theorie des ensembles de von Neumann–Bernays–Godel — Théorie des ensembles de von Neumann–Bernays–Gödel La théorie des ensembles de von Neumann–Bernays–Gödel, abrégée en NBG ou théorie des classes, est une théorie axiomatique essentiellement équivalente[1] à la théorie ZFC de Zermelo–Fraenkel avec… … Wikipédia en Français
Théorie des classes — Théorie des ensembles de von Neumann–Bernays–Gödel La théorie des ensembles de von Neumann–Bernays–Gödel, abrégée en NBG ou théorie des classes, est une théorie axiomatique essentiellement équivalente[1] à la théorie ZFC de Zermelo–Fraenkel avec… … Wikipédia en Français
Théorie des ensembles de Von Neumann–Bernays–Gödel — La théorie des ensembles de von Neumann–Bernays–Gödel, abrégée en NBG ou théorie des classes, est une théorie axiomatique essentiellement équivalente[1] à la théorie ZFC de Zermelo–Fraenkel avec axiome du choix (et avec les mêmes variantes… … Wikipédia en Français
Théorie des ensembles de von Neumann-Bernays-Gödel — Théorie des ensembles de von Neumann–Bernays–Gödel La théorie des ensembles de von Neumann–Bernays–Gödel, abrégée en NBG ou théorie des classes, est une théorie axiomatique essentiellement équivalente[1] à la théorie ZFC de Zermelo–Fraenkel avec… … Wikipédia en Français
Théorie des ensembles de von neumann–bernays–gödel — La théorie des ensembles de von Neumann–Bernays–Gödel, abrégée en NBG ou théorie des classes, est une théorie axiomatique essentiellement équivalente[1] à la théorie ZFC de Zermelo–Fraenkel avec axiome du choix (et avec les mêmes variantes… … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Theorie des categories

Théorie des catégories

Sommaire

Éléments de base

Définition

Exemples

Catégorie duale