Théorie des catégories Article, Signification, Explication

mathématiques

De l'aveu même de l'un de ses créateurs, Saunders MacLane la théorie des catégories est un « abstract nonsense »... ce qui doit pouvoir se traduire par « abstraction délirante ».

Quoi qu'il en soit, la théorie des catégories n'a rien de délirant. Elle constitue un chapitre essentiel des mathématiques contemporaines.

Table of contents

1 Définition 2 Exemples 3 Catégorie duale 4 Propriétés des flèches 4.1 Définitions 4.2 Exemples 5 Propriétés des objets

Définition

Il est vrai que pour définir une catégorie (notons-la ), on demande peu :

• des objets ;
• des flèches reliant ces objets ;
• une loi de composition pour ces flèches, satisfaisant certaines propriétés.

Plus précisément, les objets d'une catégorie ne doivent vérifier aucune hypothèse. En revanche, les flèches doivent en vérifier quelques-unes, tout à fait raisonnables :

• toute flèche a une origine et un but, qui sont des objets de la catégorie ;
• les flèches d'un objet à un objet forment un ensemble, noté ;
• étant donnés et deux flèches de la catégorie, on peut leur associer une troisième flèche, de dans , notée , appelée la composée ;
• cette opération de composition est associative : la flèche obtenue en composant un nombre fini de flèches ne dépend pas de l'ordre dans lequel on a fait le calcul ;
• tout contient une flèche particulière, appelée l'identité de , notée , telle que pour toute flèche de ou vers , la composition avec cette identité ne modifie pas la flèche (en particulier: cette identité est donc unique).

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 , 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 , dont les objets sont les espaces topologiques, et les flèches les applications continues, avec la composition usuelle.
• La catégorie , dont les objets sont les espaces métriques, et les flèches les applications uniformément continues, avec la composition usuelle.
• La catégorie , dont les objets sont les monoïdes et les flèches les morphismes, avec la composition usuelle.
• La catégorie , dont les objets sont les groupess et les flèches les morphismes, avec la composition usuelle.
• La catégorie , dont les objets sont les groupes abéliens et les flèches les morphismes, avec la composition usuelle.
• La catégorie , dont les objets sont les anneaux commutatifs unitaires et les flèches les morphismes, avec la composition usuelle.

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 , et on définit la catégorie ainsi :

  objets : un seul, n'importe quoi !

  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 à ).

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

  objets : les éléments de l'ensemble ;

  flèches : pour tous objets et , il existe une flèche de vers si et seulement si (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 , on peut définir une autre catégorie , dite opposée ou duale, en prenant les mêmes objets, mais en inversant le sens des flèches.

Plus précisément : , et la composition de deux flèches opposées est l'opposée de leur composition :

Il est clair que la catégorie duale de la catégorie duale est la catégorie de départ : .

Cette opération de dualisation extrêmement simple permet néanmoins de symétriser la plupart des énoncés, ce qui est parfois douloureux pour les débutants...

Propriétés des flèches

Définitions

Une flèche est dite un monomorphisme lorsqu'elle vérifie la propriété suivante: pour tout couple de flèches (et donc aussi pour tout ), si , alors .

Une flèche est dite un épimorphisme lorsqu'elle vérifie la propriété suivante: pour tout couple de flèches (et donc aussi pour tout ), si , alors .

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

Une flèche est dite un isomorphisme s'il existe une flèche telle que et . 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 mono et épi, 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!) : elle est mono car provient d'une application injective, épi par localisation, mais n'est clairement pas un isomorphisme!
• On trouve aussi de tels épi-mono non-isomorphiques dans la catégories des espaces topologiques: toute injection y est un mono, toute surjection est un épi, 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.

Propriétés des objets

C'est un article concernant le Théorie des catégories. La page contient la signification du Théorie des catégories , Description et explication au sujet de Théorie des catégories