Objet initial, Objet final, Objet nul

Publié le 12 décembre 2015

1. Objet initial, Objet final, Objet nul

$13-objet-initial-final-nul : Donnons-nous une catégorie \mathcal{C}. Un objet I de \mathcal{C} est dit initial si pour tout objet E de \mathcal{C}, il existe une et une seule flèche de I vers E. De même, un objet F est dit final si pour tout objet E, il existe une et une seule flèche de E vers F. En particulier la seule flèche d'un objet initial (ou final) vers lui-même est l'identité. L'intérêt de cette définition est la propriété suivante : Deux objets initiaux (respectivement finals) dans une catégorie sont isomorphes, et l'isomorphisme entre les deux est unique (on dit qu'ils sont canoniquement isomorphes). Autrement-dit, si I et J sont tous deux initiaux dans \mathcal{C}, l'unique flèche f de I vers J est un isomorphisme. En effet, comme J est initial, il existe de même une unique flèche g de J vers I, et le composé g\circ f ne peut être que la flèche identité de I, toujours parce que I est initial. Pour la même raison, f\circ g ne peut être que l'identité de J.$

2. Morphisme nul

$15-exemple-de-morphisme-nul : Une catégorie abélienne est une catégorie dans laquelle on peut additionner les flèches et définir pour toute flèche les notions de noyau, conoyau et image. Plus précisément, une catégorie abélienne est une catégorie \mathfrak{A} vérifiant les axiomes suivants : pour tous les objets X et Y dans \mathfrak{A}, \mathrm{Hom}(X,Y) est muni d'une structure de groupe abélien ; pour tous les objets X, Y et Z, la composition \mathrm{Hom}(Y,Z)\times \mathrm{Hom}(X,Y)\rightarrow \mathrm{Hom}(X,Z) est bilinéaire$

Younes Derfoufi
CRMEF OUJDA

Publié dans Catégories et Foncteurs

Très Facile

Cours Informatiques : Windows, Android, Langages Web… …

Copyright

Rechercher

Annonces Google

Tutoriels Informatiques

TICE & Multimédias

Math-pour-Informatiques

Anglais pour débutants

Nous somme sur Facebook

Utilisateurs en ligne

Elephone S8 4G

Annonces Google