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

Post Views: 340

Publié dans Catégories et Foncteurs

Python Très Facile

Tutoriels Python du débutants aux experts

Rechercher

Annonces Google

Utilisateurs en ligne

Tutoriels Informatiques

TICE & Multimédias

Math-pour-Informatiques

Anglais pour débutants

Nous somme sur Facebook