FACULTE DES SCIENCES Année Académique 2011 - 2012

Département de Maths-Informatique Session / Septembre 2012

Noms et Prénom :

Examen d’Algèbre catégorique

Filière : L1etL2M ath. Durée : 02 H30’

Consigne : Notes de cours non-autorisées.

Question 1.
1. Enoncer l’Axiome d’existence d’unités d’une Catégorie C.
2. Considerer une Catégorie D associée à un ensemble préordonné (℘(E), ⊂), où ℘(E) est
l’ensemble des parties de E.
2.1) Définir les objets de D.
2.2) Définir correctement les morphisme de deux objets de D.
2.3) Définir la composition de deux morphismes dans D.
2.4) Montrer que D vérifie l’axiome d’existence d’unites.
Question 2.

1. Montrer que dans la Catégorie Ens, toute injection est un monomorphisme.

2. Montrer que dans la Catégorie Ens, toute surjection est un épimorphisme.

Question 3.
Dans la Catégorie Ens, existe-t-il un monomorphisme de l’ensemble vide dans un ensemble
quelconque ? Si oui, ce monomorphisme est-il une section ? Justifier.
Question 4.
Montrer que la Catégorie duale de la Catégorie duale de C est la Catégorie C.
Question 5.
Soit X un objet d’une Catégorie quelconque D. Définir par rapport à X, la notion de Foncteur
hom covariant de D dans Ens.

Bonne chance !

Prof. Lungiambudila Oscar